<!-- 
modifica=document.lastModified;
giorno=modifica.substr(3,2);
mese=modifica.substr(0,2);
modifica=giorno+"/"+mese+modifica.substr(5,modifica.length-1);
document.write("Documento aggiornato al " + modifica);
//  -->