var montharray=new Array("Gennaio","Febbraio","Marzo","Aprile","Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre","Novembre","Dicembre")
var serverdate=new Date(currenttime)
function padlength(what){
var output=(what.toString().length==1)? "0"+what : what
return output
}function displaytime(){
serverdate.setSeconds(serverdate.getSeconds()+1)
var datestring = padlength(serverdate.getDate()) + " " + montharray[serverdate.getMonth()] + " " + serverdate.getFullYear();
var timestring = padlength(serverdate.getHours()) + ":" + padlength(serverdate.getMinutes()) + ":" + padlength(serverdate.getSeconds());
document.getElementById("servertime").innerHTML= "<b>"  + datestring + "</b> | <b>" + timestring + "</b>";
}window.onload=function(){
setInterval("displaytime()", 1000)
}