gg = new Array("Domenica","Lunedì","Martedì","Mercoledì","Giovedì","Venerdì","Sabato");
mesi = new Array("Gen","Feb","Mar","Apr","Mag","Giu","Lug","Ago","Set","Ott","Nov","Dic");
function ora_data() 
   { 
   var ora = new Date(); 
   var aa = ora.getDate(); 
   var mm = ora.getMonth(); 
   var yy = ora.getYear(); 
   var oo = ora.getHours(); 
   var mn = ora.getMinutes(); 
   var sec = ora.getSeconds(); 
   var dd = ora.getDay(); 
   var aa2  = ((aa < 10) ? "0" : "");
   var oo2  = ((oo < 10) ? "0" : ""); 
   var mn2  = ((mn < 10) ? ":0" : ":"); 
   var sec2  = ((sec < 10) ? ":0" : ":"); 
   var Data = aa2 + aa + " " + mesi[mm] +" " + yy; 
   var hh = oo2 + oo + mn2 + mn + sec2 + sec; 
   if(document.all) 
      document.all.Timer.innerHTML = hh + "<br>" + gg[dd] + ", " + Data; 
   else 
      if(document.getElementById) 
         document.getElementById('Timer').innerHTML  = hh + "<br>" + gg[dd] + ", " + Data; 
   window.setTimeout("ora_data()",1000); 
   }