var t;
//initialize time and date
setDateTime();
function setDateTime()
{
    document.getElementById("mytimedate").innerHTML = getDateStrWithDOW();
    t=setTimeout("setDateTime()",1000);
}
function clrDateTime()
{
    clearTimeout(t)
}
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 + " " + Get12HrFormat()
return todayStr
}
function Get12HrFormat(){
  var curDateTime = new Date()
  var curHour = curDateTime.getHours()
  var curMin = curDateTime.getMinutes()
  var curSec = curDateTime.getSeconds()
  var curAMPM = " AM"
  var curTime = ""
  if (curHour >= 12){
    curHour -= 12
    curAMPM = " PM"
    }
  if (curHour == 0) curHour = 12
  curTime = curHour + ":" 
    + ((curMin < 10) ? "0" : "") + curMin + ":" 
    + ((curSec < 10) ? "0" : "") + curSec 
    + curAMPM
  return curTime
}