function  HiddenCerca()
{
	var lista_span = document.getElementsByTagName("span");
	for(i=0; i < lista_span.length; i++)
		if(lista_span.item(i).getAttribute("title") == "Cerca")
		lista_span.item(i).style.display="none";
}
function DateTimeNow()
{
	// This array holds the "friendly" day names
	var day_names = new Array(7)
	day_names[0] = "domenica"
	day_names[1] = "lunedì"
	day_names[2] = "martedì"
	day_names[3] = "mercoledì"
	day_names[4] = "giovedì"
	day_names[5] = "venerdì"
	day_names[6] = "sabato"
	
	// This array holds the "friendly" month names
	var month_names = new Array(12)
	month_names[0] = "gennaio"
	month_names[1] = "febbraio"
	month_names[2] = "marzo"
	month_names[3] = "aprile"
	month_names[4] = "maggio"
	month_names[5] = "giugno"
	month_names[6] = "luglio"
	month_names[7] = "agosto"
	month_names[8] = "settembre"
	month_names[9] = "ottobre"
	month_names[10] = "novembre"
	month_names[11] = "dicembre"
	
	// Get the current date
	date_now = new Date()
	
	// Figure out the friendly day name
	day_value = date_now.getDay()
	date_text = day_names[day_value]
	
	// Add the day of the month
	date_text += " " + date_now.getDate()
	
	// Figure out the friendly month name
	month_value = date_now.getMonth()
	date_text += " " + month_names[month_value]
				
	// Add the year
	date_text += " " + date_now.getFullYear()
	
	// Get the minutes in the hour
	minute_value = date_now.getMinutes()
	if (minute_value < 10) {
	    minute_value = "0" + minute_value
	}
	
	// Get the hour value and use it to customize the greeting
	hour_value = date_now.getHours()
	
	time_text = hour_value + ":" + minute_value 
	
	document.getElementById('fontDateTime').innerText = "Sono le ore " + time_text + " di " + date_text;
	setTimeout("DateTimeNow()",1000); 
}