<!-- javaScript 1.2 compatible
 // Sets users browser application and version as variables
bName = navigator.appName;
bVer = parseInt(navigator.appVersion);

 // Determine which browser is being used
 if (bName == "Netscape" && bVer >= 4) br = "n4";
 else if (bName == "Netscape" && bVer == 3) br = "n3";
 else if (bName == "Microsoft Internet Explorer" && bVer >= 5) br = "e5";
 else if (bName == "Microsoft Internet Explorer" && bVer == 4) br = "e4";
 else if (bName == "Microsoft Internet Explorer" && bVer == 3) br = "e3";
 else br = "e4";
 
  // Determine which CSS to use based on browser
  // if (br == "n4" || br == "n3") {document.writeIn("<link href=\'NSabout_yosemite.css\' rel=stylesheet type=text\/css name=style id=style>")};
  // else if (br == "e5" || br == "e4" || br == "e3") {document.writeIn("<link href='IEabout_yosemite.css' rel='stylesheet' type='text\/css' name='style' id='style'>")};
 
dayName = new Array ("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
monName = new Array ("January","February","March","April","May","June","July","August","September","October","November","December")
now = new Date

function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);

if (br == "n4") {        
        document.write("<b><font face=arial size=2 color='#FFFFFF'> " + dayName[now.getDay()] + ", " + monName[now.getMonth()] + "&nbsp;" + now.getDate() + "&nbsp;2002</font></b>")
 } 
         else if (br == "n3") {
         document.write("<b><font face=arial size=2 color='#FFFFFF'> " + dayName[now.getDay()] + ", " + monName[now.getMonth()] + "&nbsp;" + now.getDate() + "&nbsp;2002</font></b>")
 }
         else if (br == "e5") {
         document.write("<b><font face=arial size=2 color='#FFFFFF'> " + dayName[now.getDay()] + ", " + monName[now.getMonth()] + "&nbsp;" + now.getDate() + "&nbsp;" + now.getYear() + "</font></b>")
 } 
         else if (br == "e4") {
         document.write("<b><font face=arial size=2 color='#FFFFFF'> " + dayName[now.getDay()] + ", " + monName[now.getMonth()] + "&nbsp;" + now.getDate() + "&nbsp;" + now.getYear() + "</font></b>")
 }
         else if (br == "e3") {
         document.write("<b><font face=arial size=2 color='#FFFFFF'> " + dayName[now.getDay()] + ", " + monName[now.getMonth()] + "&nbsp;" + now.getDate() + "&nbsp;" + now.getYear() + "</font></b>")
 }  

// -->