var dayarray=new Array("","","","","","","")
var montharray=new Array("Jan.","Feb.","Mar.","Apr.","May.","Jun.","Jul.","Aug.","Sep.","Oct.","Nov.","Dec.")
function getthedate()
{
  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 hours=mydate.getHours()
  var minutes=mydate.getMinutes()
  var seconds=mydate.getSeconds()
  if (minutes<=9)
    minutes="0"+minutes
  if (seconds<=9)
    seconds="0"+seconds

  // change font size here
  var cdate=dayarray[day]+"&nbsp;"+daym+"&nbsp;"+montharray[month]+"&nbsp;"+year+",&nbsp;"+hours+":"+minutes+":"+seconds
  
  if (document.all) 
    document.all.clock.innerHTML=cdate
  else 
    if (document.getElementById)
      document.getElementById("clock").innerHTML=cdate
    else
      document.write(cdate)
}

function startclock()
{
  if (document.all||document.getElementById)
  {
    setInterval("getthedate()",1000);
    getthedate();
  }
}