<!--

function updateClock()
{
  var currentTime = new Date();

  var currentDay = currentTime.getDate();
  var currentMonth = currentTime.getMonth() + 1;
  var currentYear = currentTime.getFullYear();

  // Pad the minutes and seconds with leading zeros, if required
 /* currentMonth = ( currentMonth < 10 ? "0" : "" ) + currentMonth;
  currentDay = ( currentDay < 10 ? "0" : "" ) + currentDay;*/

  // Compose the string for display
  var currentDateString = currentDay + "/" + currentMonth + "/" + currentYear;

  // Update the time display
  document.getElementById("oggi").firstChild.nodeValue = currentDateString;
}

// -->