<!-- 
// standard initialization code for all my personal web pages;
var w = window // create shorthand;
w.status="Please wait ... loading text and images";
var d = w.document;
var p = new Object() // use to set page properties;
var undefined // special test value for undefined properties;
var b = new Object() // sniff out his browser and OS;
  b.os = navigator.platform;
  var app = navigator.appName;
  var agt = navigator.userAgent;
  var ndx = agt.indexOf("Opera");
  b.isNtscp = false // assume it's not Netscape, MSIE, or Opera;
  b.isMsie = false;
  b.isOpera = false;
if (ndx != -1) {
  b.isOpera = true;
  b.ver = parseFloat(agt.slice(ndx+6));
}
  else {
    b.ver = parseFloat(navigator.appVersion) // version number;
    if (app.indexOf("Microsoft") != -1) b.isMsie = true;
    if (app.indexOf("Netscape") != -1) b.isNtscp = true;
  }
if (b.isopera) b.styl = "basic";
  else if (b.os.indexOf("Linux") != -1 || b.os.indexOf("X11") != -1) b.styl = "basicl";
       else b.styl = "basic";
d.write('<link rel="stylesheet" type="text/css" href="style/' + b.styl + '.css">');
// -->



