<!-- Netscape 4 - Refresh page if resized //-->
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);


<!-- Date Functionality //-->
function updateClock ( )
{
  var currentDateTime = new Date ( );

  var currentHours = currentDateTime.getHours ( );
  var currentMinutes = currentDateTime.getMinutes ( );

  var month=new Array(12)
	month[0]="January"
	month[1]="February"
	month[2]="March"
	month[3]="April"
	month[4]="May"
	month[5]="June"
	month[6]="July"
	month[7]="August"
	month[8]="September"
	month[9]="October"
	month[10]="November"
	month[11]="December"

  var currentMonth = currentDateTime.getMonth( );
  var currentDate = currentDateTime.getDate( );
  var currentYear = currentDateTime.getFullYear( );
  var currentZone = currentDateTime.getTimezoneOffset( );
  var currentZone2 = "";
  
  if (currentZone == 420) { 
  currentZone2 = " PST";
  } else if (currentZone == 360) {
  currentZone2 = " MST"
  } else if (currentZone == 300) {
  currentZone2 = " CST"
  } else if (currentZone == 240) {
  currentZone2 = " EST"
  } else {
  currentZone2 = ""
  }

  // Pad the minutes with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;

  // Choose either "AM" or "PM" as appropriate
  var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";

  // Convert the hours component to 12-hour format if needed
  currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;

  // Convert an hours component of "0" to "12"
  currentHours = ( currentHours == 0 ) ? 12 : currentHours;

  // Compose the string for display
  var currentDateTimeString = month[currentMonth] + " " + currentDate + ", " + currentYear + " " + currentHours + ":" + currentMinutes + " " + timeOfDay + " " + currentZone2;

  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentDateTimeString;
}