// Baden Script
    // Create revision date values and
    //Global variable definitions:
    var loaded = 0;
    var layers = false;
    var lastbutton='top';
    var Version = -1;  // Default setting for the variable Version

    // define specific browser type
    function Is() {
      var agent = navigator.userAgent.toLowerCase();
      this.major = parseInt(navigator.appVersion);
      this.minor = parseFloat(navigator.appVersion);
      this.ns = ((agent.indexOf('mozilla')!=-1) && ((agent.indexOf('spoofer')==-1) && (agent.indexOf('compatible') == -1)));
      this.ns2 = (this.ns && (this.major == 3));
      this.ns3 = (this.ns && (this.major == 3));
      this.ns4b = (this.ns && (this.minor < 4.04));
      this.ns4 = (this.ns && (this.major >= 4));
      this.ie = (agent.indexOf("msie") != -1);
      this.ie3 = (this.ie && (this.major == 2));
      this.ie4 = (this.ie && (this.major >= 4));
      this.op3 = (agent.indexOf("opera") != -1);
      this.win = (agent.indexOf("win")!=-1);
      this.mac = (agent.indexOf("mac")!=-1);
      this.unix = (agent.indexOf("x11")!=-1);
    }

    function loadvars() {  // load system-wide variables
     // Browser information
     var is = new Is();
     // IE Netscape Version Win95 Mac (true/false)
     IE      = (document.all) ? true:false
     // Netscape= (document.layers) ? true:false
     Netscape = is.ns;
     Version = 2;
     Win95 = false;
     Mac = false;
     if (Netscape || IE) {layers = true}
     AppVersion = navigator.appVersion;
     if (AppVersion.indexOf("3.") >= 0) {Version = 3}
     if (AppVersion.indexOf("4.") >= 0) {Version = 4}
     if (AppVersion.indexOf("5.") >= 0) {Version = 5}
     if (AppVersion.indexOf("6.") >= 0) {Version = 6}
     if (AppVersion.indexOf("Win95") >= 0) {Win95 = true}
     if (AppVersion.indexOf("Windows 95") >= 0) {Win95 = true}
     if (AppVersion.indexOf("Macintosh") >= 0) {Mac = true}
     // Screen parameters
     if (Version >= 4) {
      swidth = screen.availWidth;
      sheight = screen.availHeight;
      VGA = 3;  //SVGA
      if  (swidth < 1024) {VGA = 2}
      if  (swidth < 800) {VGA = 1}
     }
     else if (Version < 4) {
      swidth = 0;   //Unknown screen variables
      sheight = 0;
      VGA = 0;  
     }

     Date.prototype.getFullYear = getFullYear;
     lmod = new Date(document.lastModified);  //revision date
     tmxfix = lmod.getHours(); // use to correct IE times
     if (IE) {
     if (Version < 5) { dummylmod = lmod.setHours(tmxfix - 5)  } }
     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); }

     }
    //Create a 4 digit year value defined as n =-==-==-==-==-==-
      function getFullYear() {
        var n = this.getYear();
        if (n <= 75) { n += 100}
        if (n < 1900) {n += 1900};
        return n;
      }

      function eraseLayers(keep) {
       for(var i = 0; i < DivList.length; i++){
        if (keep != DivList[i]) { popUp(DivList[i],false);}
        }
      }

      function popUp(menuName,on) {
       var thisMenu = document.getElementById(menuName);
       if (layers) {
        if (on) {
         eraseLayers(menuName);
         if (Netscape) {
          document.layers[menuName].visibility = "show";
         } 
         else {
            document.all[menuName].style.visibility = "visible";
         }
        } 
        else {
           if (Netscape) {
            document.layers[menuName].visibility = "hide";
           }
           else {
            document.all[menuName].style.visibility = "hidden";
           }
        }
       }
      }

      //Redirect to a selected url
      function GoUrl(s) {
       var d = s.options[s.selectedIndex].value;
       window.top.location.href = d;
       s.selectedIndex=0;
      }

      //Open page or image in a window
      function winName(file) {
       f = file.replace(/\//g,"_");
       f = f.replace(/\./g,"_");
       f = f.replace(/\-/g,"_");
       return f;
      }
      function openWindow(file, width, height) {
       tfile = winName(file);
       Win = open(file, 'win' + tfile, 'toolbar=0,location=0,directories=0,status=0,menubar=0,resizable=1,width=' + width + ',height=' + height + ',scrollbars=yes');
       Win.focus();
      }

      function mymailto(contact) {
	var first = 'ma';
	var second = 'il';
	var third = 'to:';
	var address = 'baden';
	var domain = 'ipfw';
	var ext = 'edu'; 
	document.write('<a href="');
	document.write(first+second+third);
	document.write(address);
	document.write('&#64;');
	document.write(domain);
	document.write('.');
	document.write(ext);  
	document.write('" title="E-Mail link">'); 
	document.write(contact+'</a>');
      }