function estime() {
 var timestring;
 var x = new Array("Dom", "Lun", "Mar", "Mer", "Gio", "Ven", "Sab");
 var today   = new Date();
 var giorno  = today.getDate();
 var day	   = today.getDay();
 var mese    = today.getMonth() + 1;
 var anno    = today.getYear();
 var ora	   = today.getHours();
 var minuti  = today.getMinutes();
 var secondi = today.getSeconds();
 
 if (giorno  < 10) giorno  = "0" + giorno;
 if (mese    < 10) mese    = "0" + mese;
 if (anno    < 10) anno    = "0" + anno;
 if (ora     < 10) ora     = "0" + ora;
 if (minuti  < 10) minuti  = "0" + minuti;
 if (secondi < 10) secondi = "0" + secondi;

 timestring =  x[day] + "   " + giorno + "-" + mese +"-" + anno + "   " + ora + "." + minuti + "." + secondi;
 tempo.innerText = timestring;
 timeout1 = setTimeout("estime()",100);	
}