function updateDateTime() {
  var d = new Date();

  switch(d.getDay()) {
    case 0: data = "Domenica "; break;
    case 1: data = "Lunedì "; break;
    case 2: data = "Martedì "; break;
    case 3: data = "Mercoledì "; break;
    case 4: data = "Giovedì "; break;
    case 5: data = "Venerdì "; break;
    case 6: data = "Sabato ";
  }

  data += d.getDate();

  switch(d.getMonth()) {
    case 0: data += " Gennaio "; break;
    case 1: data += " Febbraio "; break;
    case 2: data += " Marzo "; break;
    case 3: data += " Aprile "; break;
    case 4: data += " Maggio "; break;
    case 5: data += " Giugno "; break;
    case 6: data += " Luglio "; break;
    case 7: data += " Agosto "; break;
    case 8: data += " Settembre "; break;
    case 9: data += " Ottobre "; break;
    case 10: data += " Novembre "; break;
    case 11: data += " Dicembre ";
  }

 var minutes = d.getMinutes()
 var seconds = d.getSeconds()

 data += d.getFullYear() + " ore " + d.getHours() + ":" + ((minutes < 10) ? "0" : "") + minutes + ":" + ((seconds < 10) ? "0" : "") + seconds;

  document.getElementById("dataora").firstChild.nodeValue = data;
}

var timerDataTime = setInterval('updateDateTime()', 1000)

