function time(){
if (!document.all&&!document.getElementById)
return
thelement=document.getElementById? document.getElementById("theTime"): document.all.theTime
var Digital=new Date()
var hours=Digital.getHours()
var minutes=Digital.getMinutes()
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("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
var montharray=new Array("January","February","March","April","May","June","July","August","September","October","November","December")
if (hours<=9)
hours="0"+hours
if (hours==0)
hours=12
if (minutes<=9)
minutes="0"+minutes
var ctime=hours+":"+minutes
thelement.innerHTML="<span>" + dayarray[day] + " " + montharray[month] + " " + daym + " " + year + " " + ctime + "</span>"
setTimeout("time()",1000)
}





window.onload=time