// Funzione da richiamare al caricamento per impostare la data e l' ora
function data_ora(){
	var now = new Date();
	var ore = now.getHours();
	var minuti = now.getMinutes();
	var secondi = now.getSeconds();
	var monNames = new Array("Gen","Feb","Mar","Apr","Mag","Giu","Lug","Ago","Set","Ott","Nov","Dic");
	if (ore<10) {
		ore = "0"+ore;
	}
	if (minuti<10) {
		minuti = "0"+minuti;
	}
	if (secondi<10) {
		secondi = "0"+secondi;
	}
	
	// document.write(""+now.getDate() + " "+ monNames[now.getMonth()] + " " + now.getFullYear()+"&nbsp;&nbsp;"+ ore+":"+minuti+"");
	// document.getElementById("time").innerHTML = ""+now.getDate() + " "+ monNames[now.getMonth()] + " " + now.getFullYear()+"&nbsp;&nbsp;<strong>"+ ore+":"+minuti+":"+secondi+"</strong> UTC+1";
	document.getElementById("time").innerHTML = ""+now.getDate() + " "+ monNames[now.getMonth()] + " " + now.getFullYear()+"&nbsp;&nbsp;<strong>"+ ore+":"+minuti+"</strong> UTC+1";
}