
var serverdate=new Date();

var montharray=new Array("January","February","March","April","May","June","July","August","September","October","November","December")

function displaytime(){
if (!document || !document.getElementById('servertime') ) return;

serverdate.setSeconds(serverdate.getSeconds()+1)
var datestring=montharray[serverdate.getMonth()]+" "+padlength(serverdate.getDate())+", "+serverdate.getFullYear()
var timestring=padlength(serverdate.getHours())+":"+padlength(serverdate.getMinutes())+":"+padlength(serverdate.getSeconds())
document.getElementById("servertime").innerHTML=datestring+" "+timestring
}

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

setInterval("displaytime()", 1000)
