<!--

function updateClock ( )
{
	var month_names = new Array ( );
	month_names[month_names.length] = "Gennaio";
	month_names[month_names.length] = "Febbraio";
	month_names[month_names.length] = "Marzo";
	month_names[month_names.length] = "Aprile";
	month_names[month_names.length] = "Maggio";
	month_names[month_names.length] = "Giugno";
	month_names[month_names.length] = "Luglio";
	month_names[month_names.length] = "Agosto";
	month_names[month_names.length] = "Settembre";
	month_names[month_names.length] = "Ottobre";
	month_names[month_names.length] = "Novembre";
	month_names[month_names.length] = "Dicembre";
	
	var day_names = new Array ( );
	day_names[day_names.length] = "Domenica";
	day_names[day_names.length] = "Lunedė";
	day_names[day_names.length] = "Martedė";
	day_names[day_names.length] = "Mercoledė";
	day_names[day_names.length] = "Giovedė";
	day_names[day_names.length] = "Venerdė";
	day_names[day_names.length] = "Sabato";

	var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;

  // Choose either "AM" or "PM" as appropriate
//  var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";
  var timeOfDay = "";

  // Convert the hours component to 12-hour format if needed
  currentHours12 = ( currentHours > 12 ) ? currentHours - 12 : currentHours;

  // Convert an hours component of "0" to "12"
  currentHours = ( currentHours == 0 ) ? 12 : currentHours;

  // Compose the string for display
  var currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;
//  var stringaData = day_names[currentTime.getDay()] + ", " + currentTime.getDate() + " " + month_names[currentTime.getMonth()] + " " + currentTime.getFullYear();
//  var stringaData = currentTime.getDate() + " " + month_names[currentTime.getMonth()] + " " + currentTime.getFullYear();
  var stringaData = currentTime.getDate() + " " + month_names[currentTime.getMonth()];

  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = stringaData + " " + currentTimeString;
}

// -->