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)
	}