function orarioJS()
{
	krucial = new Date;
	heure = krucial.getHours();
	min = krucial.getMinutes();
	sec = krucial.getSeconds();
	jour = krucial.getDate();
	day_week = krucial.getDay();
	mois = krucial.getMonth()+1;
	annee = krucial.getFullYear();

	var mesi = Array();
	mesi[1] = 'gennaio';
	mesi[2] = 'febbraio';
	mesi[3] = 'marzo';
	mesi[4] = 'aprile';
	mesi[5] = 'maggio';
	mesi[6] = 'giugno';
	mesi[7] = 'luglio';
	mesi[8] = 'agosto';
	mesi[9] = 'settembre';
	mesi[10] = 'ottobre';
	mesi[11] = 'novembre';
	mesi[12] = 'dicembre';

	var dow = Array();
	dow[0] = 'domenica';
	dow[1] = 'lunedì';
	dow[2] = 'martedì';
	dow[3] = 'mercoledì';
	dow[4] = 'giovedì';
	dow[5] = 'venerdì';
	dow[6] = 'sabato';
	dow[7] = 'domenica';

	if (sec < 10)
		sec0 = "0";
	else
		sec0 = "";
	if (min < 10)
		min0 = "0";
	else
		min0 = "";
	if (heure < 10)
		heure0 = "0";
	else
		heure0 = "";
	if (jour < 10)
		jour0 = "0";
	else
		jour0 = "";

	day_week = dow[day_week];
	mois = mesi[mois];

	DinaHeure = day_week + '  ' + jour0 + jour + "&nbsp;" + mois + "&nbsp;" + annee + "</b>" + "&nbsp;" + heure0 + heure + ":" + min0 + min + ":" + sec0 + sec;

	which = DinaHeure

	if (document.getElementById)
	{
		document.getElementById("header_data").innerHTML=which;
	}
	setTimeout("orarioJS()", 1000);
}