function ult_agg_pro()
{
 var lastmod = new Date(document.lastModified);
 var giorno_sett = new Array("Domenica", "Lunedi\'", "Martedi\'", "Mercoledi\'", "Giovedi\'", "Venerdi\'", "Sabato");
 var mese_lett = new Array("Gennaio", "Febbraio", "Marzo", "Aprile", "Maggio", "Giugno", "Luglio", "Agosto", "Settembre", "Ottobre", "Novembre", "Dicembre")
  var giorno = lastmod.getDate();
 if (giorno<10)
 {giorno="0"+giorno;}
 var mese = mese_lett[lastmod.getMonth()];
 var anno = lastmod.getFullYear();
 
 document.write('<center> Ultimo aggiornamento: '+giorno_sett[lastmod.getDay()]+" "+giorno+" "+mese+" "+anno);

}

ult_agg_pro();