// JavaScript Document
  function GetMonth(intMonth){
    var MonthArray = new Array("January", "February", "March",
                               "April", "May", "June",
                               "July", "August", "September",
                               "October", "November", "December") 
    return MonthArray[intMonth] 	  	 
    }
  function getDateStr(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
    var todayStr = today.getDate()+" "+GetMonth(today.getMonth())
    todayStr += " " + year
    return todayStr
    }

function livetime(){

  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
}
function datetimenow()
{
dateandtimenow = getDateStr() + " &nbsp;&nbsp;&nbsp; " + livetime()
document.getElementById("digitalclock").innerHTML = dateandtimenow
setTimeout("datetimenow()",1000)
}