function aggiornaOra() 
{
   chiudi();

   var Days = new Array('DOM.','LUN.','MAR.','MER.','GIO.','VEN.','SAB.'); 
   var Mesi = new Array('NULLO','GENNAIO','FEBBRAIO','MARZO','APRILE','MAGGIO','GIUGNO','LUGLIO','AGOSTO','SETTEMBRE','OTTOBRE','NOVEMBRE','DICEMBRE');
   var data = new Date();
   var ora;
   var minuti;
   var secondi;


   gg_nm = Days[data.getDay()] ;
   gg = data.getDate();
   mon = Mesi[data.getMonth()+1];
   yyyy= data.getYear();
   if (yyyy=="107")
   {
	   yyyy="2007";
   }
   if (yyyy=="108")
   {
	   yyyy="2008";
   }
   if (yyyy=="109")
   {
	   yyyy="2009";
   }
   if (yyyy=="110")
   {
	   yyyy="2010";
   }
   if (yyyy=="111")
   {
	   yyyy="2011";
   }



   oggi = ( gg + " " + mon + " " + yyyy ); // GIORNO MESE ANNO DI OGGI
    
   // Ore
   if (data.getHours()<10)
   {
	   ora= "0" + data.getHours();
   }
   else {
		ora= data.getHours();
   }

   // Minuti
   if (data.getMinutes()<10)
   {
	   minuti= "0" + data.getMinutes();
   }
   else {
		minuti= data.getMinutes();
   }

   // Secondi
   if (data.getSeconds()<10)
   {
	   secondi= "0" + data.getSeconds();
   }
   else {
		secondi = data.getSeconds();
   }





   document.getElementById("orologio").innerHTML = "" 
                                   + oggi + "&nbsp;-&nbsp;" +
								   + ora + ":" 
                                   + minuti + ":" 
                                   + secondi;
   
   idOrologio = setTimeout("aggiornaOra()", 1000);
}


function chiudi() {
   if(idOrologio) {
      clearTimeout(idOrologio);
      idOrologio  = 0;
   }
}