// function for displaying the Modified Date on the page.
// viene inserita in un file separato altrimenti Geocities non la visualizza correttamente.

function modifiedDate()
{
   var LastModDate = new Date(document.lastModified);
   var hour = LastModDate.getHours();
   var minute = LastModDate.getMinutes();
   var ora = ((hour >= 24) ? hour - 24 : hour);
   var ora = ((ora < 10) ? "0" : "") + ora;
   var min = ((minute < 10) ? "0" : "") + minute;

   var giorno = LastModDate.getDate();
   giorno = ((giorno < 10) ? "0" : "") + giorno;

   var mese = LastModDate.getMonth() + 1 ;
   mese = ((mese < 10) ? "0" : "") + mese;
   var anno = LastModDate.getFullYear();
   
   document.write("Ultima revisione: ", giorno, "/", mese, "/", anno);
}


document.write('<p font-size: 8pt; padding-left: 5px; padding-right: 5px;">');
document.write(); modifiedDate();
document.write('</p>');