<!--
   var bro = '';
   if (navigator.appName == "Microsoft Internet Explorer") {
      // msie
      bro = 'ie';
   } else if (navigator.appName == "Netscape") {
             // Netscape
             bro = 'ns';
   } else { bro='ie';}
 document.write("<LINK REL=stylesheet HREF=\"../../include/"+ bro +"_style.css\" TYPE=\"text/css\">");
// -->
