var myfont_face = "Verdana";


	var myfont_size = "7";


	var myfont_color = "#000000";

	var myback_color = "#000000";


	var mypre_text = "  ";


	var mywidth = 300;



	var my12_hour = 0;


	var myupdate = 1;



	var DisplayDate = 1;

        var ie4=document.all
        var ns4=document.layers
        var ns6=document.getElementById&&!document.all



	var dn = "";
	var mn = "";
	var old = "";


	var DaysOfWeek = new Array(7);
		DaysOfWeek[0] = "Domenica";
		DaysOfWeek[1] = "Lunedì";
		DaysOfWeek[2] = "Martedì";
		DaysOfWeek[3] = "Mercoledì";
		DaysOfWeek[4] = "Giovedì";
		DaysOfWeek[5] = "Venerdì";
		DaysOfWeek[6] = "Sabato";

	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";


	var ClockUpdate = new Array(3);
		ClockUpdate[0] = 0;
		ClockUpdate[1] = 1000;
		ClockUpdate[2] = 60000;




	function show_clock() {
		if (old == "die") { return; }


		if (ns4)
                document.ClockPosNS.visibility="show"

		var Digital = new Date();
		var day = Digital.getDay();
		var mday = Digital.getDate();
		var month = Digital.getMonth();
		var hours = Digital.getHours();

		var minutes = Digital.getMinutes();
		var seconds = Digital.getSeconds();


		
		if (my12_hour) {
			dn = "AM";
			if (hours > 12) { dn = "PM"; hours = hours - 12; }
			if (hours == 0) { hours = 12; }
		} else {
			dn = "";
		}
		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;">';
if (DisplayDate) { myclock += DaysOfWeek[day]+' '+mday+mn+' '+MonthsOfYear[month]; }
		myclock += mypre_text;
		myclock += hours+':'+minutes;
		if ((myupdate < 2) || (myupdate == 0)) { myclock += ':'+seconds; }
		myclock += ' '+dn;
		
		myclock += '</font>';

		
			document.write(myclock);
			old = "die";
			return;
		

	if (myupdate != 0) { setTimeout("show_clock()",ClockUpdate[myupdate]); }
}