var IE = (navigator.appName == "Microsoft Internet Explorer");
     Date.prototype.getFullYear = getFullYear;
     lmod = new Date(document.lastModified);  //revision date
     tmxfix = lmod.getHours(); // use to correct IE times
     if (IE == 1) {
     if (browser.versionMajor < 5) { dummylmod = lmod.setHours(tmxfix - 5)  } }
     var rd = lmod.toString();         //Define revision date string
     yr = lmod.getFullYear();      //Define 4 digit year of date
     zt = lmod.toGMTString();      //Define a GMT value
     hrs = lmod.getHours();
     mnts = lmod.getMinutes();
     if (hrs < 10) { tm = "0"+hrs} else { (tm = ""+hrs); }
     if (mnts < 10) { tm = tm+":0"+mnts} else { (tm = tm+":"+mnts); }

   // Write out last revision date and url for this page
   document.writeln("<B>Updated:</B> ");
   document.writeln(rd.substring(3,10) + ", " + yr + "  " + tm +" EST");