// JavaScript Document
  function GetDay(intDay){
    var DayArray = new Array("Sun", "Mon", "Tue", "Wed", 
                         "Thu", "Fri", "Sat")
    return DayArray[intDay]
    }

  function GetMonth(intMonth){
    var MonthArray = new Array("Jan", "Feb", "Mar",
                               "Apr", "May", "Jun",
                               "Jul", "Aug", "Sep",
                               "Oct", "Nov", "Dec") 
    return MonthArray[intMonth] 	  	 
    }
  function getDateStrWithDOW(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
    var todayStr = GetDay(today.getDay()) + ", "
    todayStr += GetMonth(today.getMonth()) + " " + today.getDate()
    todayStr += ", " + year
    return todayStr
    }
function disp(){
	dt= getDateStrWithDOW()+ " : " + showtime();
	var d=setTimeout("disp()",500);
	document.all.timetd.innerHTML=dt;
}
function fourdigits(number)	{
	return (number < 1000) ? number + 1900 : number;
}
function showtime () {
var now = new Date();
var hours = now.getHours();
var minutes = now.getMinutes();
var seconds = now.getSeconds()
var timeValue = "" + ((hours >12) ? hours -12 :hours)
if (timeValue == "0") timeValue = 12;
timeValue += ((minutes < 10) ? ":0" : ":") + minutes
timeValue += ((seconds < 10) ? ":0" : ":") + seconds
timeValue += (hours >= 12) ? " P.M." : " A.M."
return timeValue;
}