function tdSizer () {
// Author: Bryant Castaneda
// Date: 11/21/2000
// Description: Javascript browser sniffer
// Precondition: no parameters
// Postcondition: inserts td width from browser type and version
   var agt = navigator.userAgent.toLowerCase();
   var is_major = parseFloat(navigator.appVersion); 
   var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1) 
                && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1) 
                && (agt.indexOf('webtv')==-1)); 
   if (is_nav && (is_major >= 4) && (is_major != 5))
     return document.write ("<td background='/images/right_template_back.gif'><img src='/images/right_template_back.gif'></td>");
   else
     return document.write("<td width='16' bgcolor='#efefef'><img height='1' alt='spacer' src='/images/pixel.gif' width='16' border='0'></td><td width='1' bgcolor='#8c8e84'><img height='1' alt='spacer' src='/images/8c8e84.gif' width='1' border='0'></td>");
}