function padlength(what){
var output=(what.toString().length==1)? "0"+what : what
return output
}

function displaytime(){
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")

serverdate.setSeconds(serverdate.getSeconds()+1)
var datestring=dayarray[serverdate.getDay()]+", "+montharray[serverdate.getMonth()]+" "+padlength(serverdate.getDate())+", "+serverdate.getFullYear()
var timestring=padlength(serverdate.getHours()%12||12)+":"+padlength(serverdate.getMinutes())+":"+padlength(serverdate.getSeconds())+" "+padlength(serverdate.getHours()<12?"am":"pm")
document.getElementById("servertime").innerHTML=datestring+" "+timestring
}

function display_ct(){ setInterval("displaytime()", 1000) }