	var myfont_face = "Verdana";
	var myfont_size = "7";
	var myfont_color = "#ffffff";	
	var myback_color = "#333366";
	var mypre_text = "";
	var my12_hour = 0;
	var myupdate = 1;
	var DisplayDate = 1;
	var mn = " ";
	var old = "";
	var DaysOfWeek = new Array(7);
		DaysOfWeek[0] = "Dom";
		DaysOfWeek[1] = "Lun";
		DaysOfWeek[2] = "Mar";
		DaysOfWeek[3] = "Mer";
		DaysOfWeek[4] = "Gio";
		DaysOfWeek[5] = "Ven";
		DaysOfWeek[6] = "Sab";
	var MonthsOfYear = new Array(12);
		MonthsOfYear[0] = "gen";
		MonthsOfYear[1] = "feb";
		MonthsOfYear[2] = "mar";
		MonthsOfYear[3] = "apr";
		MonthsOfYear[4] = "mag";
		MonthsOfYear[5] = "giu";
		MonthsOfYear[6] = "lug";
		MonthsOfYear[7] = "ago";
		MonthsOfYear[8] = "set";
		MonthsOfYear[9] = "ott";
		MonthsOfYear[10] = "nov";
		MonthsOfYear[11] = "dic";
	var ClockUpdate = new Array(3);
		ClockUpdate[0] = 0;
		ClockUpdate[1] = 1000;
		ClockUpdate[2] = 60000;
	if (document.all) 
			{ document.write('<span id="LiveClockIE" width:136px; height:10px;"></span>'); }
	else if (document.layers) 
			{ document.write('<ilayer id="ClockPosNS" visibility="hide"><layer height="10" width="136" id="LiveClockNS" ></layer></ilayer>'); }
	else { old = "true"; show_clock(); }
	function show_clock() {
		if (old == "die") { return; }
		if (document.layers)
                document.ClockPosNS.visibility="show"
		var Digital = new Date();
		var day = Digital.getDay();
		var mday = Digital.getDate();
		var month = Digital.getMonth();
		var year=Digital.getYear();
		var hours = Digital.getHours();
		var minutes = Digital.getMinutes();
		var seconds = Digital.getSeconds();
		if (minutes <= 9) { minutes = "0"+minutes; }
		if (seconds <= 9) { seconds = "0"+seconds; }
		if (document.layers) {
			year = year + 1900;
    }
		myclock = '';
		myclock += '<font style="color: '+myfont_color+'; font-family: '+myfont_face+'; font-size: '+myfont_size+'pt;"><center>';
		if ((myupdate < 2) || (myupdate == 0)) { myclock += mday+mn+MonthsOfYear[month]+mn+year+'<br> '+hours+':'+minutes+':'+seconds; }	
		if (old == "true") {
			document.write(myclock);
			old = "die";
			return;}
		if (document.layers) {
			myfont_size = "8";
			myclock += '</font>';

			clockpos = document.ClockPosNS;
			liveclock = clockpos.document.LiveClockNS;
			liveclock.document.write(myclock);
			liveclock.document.close();
		} 
		else if (document.all) {
			myfont_size = "7";
			myclock += '</font>';
			LiveClockIE.innerHTML = myclock;
		}
	if (myupdate != 0) { setTimeout("show_clock()",ClockUpdate[myupdate]); }
}
