<!--
//obsolete browser variable
var sb=((navigator.appVersion.charAt(0)<4)||((navigator.appName.indexOf('Netscape')<0)&&(navigator.appName.indexOf('Microsoft Internet Explorer')<0)));

/* determines which stylesheet to write based on 
browser/platform combination.  Also sets global
variable bp for browser/platform testing elsewhere. */
function BP() {
  if (sb) {
     this.brow = null;
     this.plat = null;
     return this;
     }
   this.plat = (navigator.platform.indexOf('Mac') > -1) ? 'mac' : 'win';
   this.brow = (navigator.appName.indexOf('Microsoft') > -1) ? 'ie' : 'ns';
   return this;
  }
bp = new BP();

document.write('<LINK HREF="ssi/css/' + bp.plat + '_' +
bp.brow + '.css" REL="styleSheet" TYPE="text/css">');

//defunct, previously ubiquitous function; dummy version retained to prevent errors.
function startup() {}
//-->