
<!--

function updateClock ( )
{

	var d=new Date();
	var weekday=new Array(7);
	weekday[0]="Sun";
	weekday[1]="Mon";
	weekday[2]="Tues";
	weekday[3]="Wed";
	weekday[4]="Thur";
	weekday[5]="Fri";
	weekday[6]="Sat";
	
	var month=new Array(12);
		month[0]="Jan.";
		month[1]="Feb.";
		month[2]="Mar.";
		month[3]="Apr.";
		month[4]="May";
		month[5]="Jun.";
		month[6]="Jul.";
		month[7]="Aug.";
		month[8]="Sept.";
		month[9]="Oct.";
		month[10]="Nov.";
		month[11]="Dec.";
		
  	var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );
  var currentMonth = month[d.getMonth()];
  var currentDay = weekday[d.getDay()];
  var currentDate = d.getDay();

  // 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 = currentDay +" " + currentMonth + ", " +currentDate +", " + currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;

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

// -->