	var myfont_face = "ARIAL";
	var myfont_size = "9";
	var myfont_color = "#FFFFFF";	
	var myback_color = "#000000";
	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" style="height:30"></span>'); }
	else if (document.layers) 
			{ document.write('<ilayer id="ClockPosNS" visibility="hide"><layer height="30" width="100" 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; }
		myclock = '';
		myclock += '<font style="color:'+myfont_color+'; font-family:'+myfont_face+'; font-size:'+myfont_size+'pt;"><center>';
		if ((myupdate < 2) || (myupdate == 0)) { myclock += hours+':'+minutes+':'+seconds+'<br>'+myclock+' '+mday+mn+MonthsOfYear[month]+mn; }	
	myclock += '</font>';
		if (old == "true") {
			document.write(myclock);
			old = "die";
			return;}
		if (document.layers) {
			myfont_size = "9";
			year =year+1900;
			myclock += year;
			clockpos = document.ClockPosNS;
			liveclock = clockpos.document.LiveClockNS;
			liveclock.document.write(myclock);
			liveclock.document.close();
		} 
else if (document.all) {
			myfont_size = "9";
			myclock += year;
			LiveClockIE.innerHTML = myclock;
		}

	if (myupdate != 0) { setTimeout("show_clock()",ClockUpdate[myupdate]); }
}