<!--

function updateClock ( )
{
  var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

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

  // 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 currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;

  var mydate=new Date();
  var year=mydate.getYear();
  
  if (year < 1000)
      year+=1900;
  
  var day=mydate.getDay();
  var month=mydate.getMonth();
  var daym=mydate.getDate();
  
  if (daym<10)
      daym="0"+daym;
      
  var dayarray=new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
  var montharray=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
  
  document.getElementById("day").firstChild.nodeValue =(dayarray[day]+", "+daym+" "+montharray[month]+" "+year +",");
    
  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentTimeString;
}

// -->