// JavaScript Document
function showtime()
{	

var myfont_face = "Verdana";
var myfont_size = "10";
var myfont_color = "#000000";
	
var MonthsOfYear = new Array(12);
	MonthsOfYear[0] = "Gennaio";
	MonthsOfYear[1] = "Febbraio";
	MonthsOfYear[2] = "Marzo";
	MonthsOfYear[3] = "Aprile";
	MonthsOfYear[4] = "Maggio";
	MonthsOfYear[5] = "Giugno";
	MonthsOfYear[6] = "Luglio";
	MonthsOfYear[7] = "Agosto";
	MonthsOfYear[8] = "Settembre";
	MonthsOfYear[9] = "Ottobre";
	MonthsOfYear[10] = "Novembre";
	MonthsOfYear[11] = "Dicembre";


	setTimeout("showtime();",1000);
	callerdate.setTime(callerdate.getTime()+1000);
	var mese = String(callerdate.getMonth());
	var yy = String(callerdate.getFullYear());
	var gg = String(callerdate.getDate());
	var hh = String(callerdate.getHours());
    var mm = String(callerdate.getMinutes());
    var ss = String(callerdate.getSeconds());


		
	document.getElementById("orario").innerHTML = 
			gg + " " + MonthsOfYear[mese] + " " + yy + " " + " ore " +
			((hh < 10) ? " " : "") + hh +
		    	((mm < 10) ? ":0" : ":") + mm +
		     	((ss < 10) ? ":0" : ":") + ss + "</font>";
					
}
