/* Questo script restituisce la data di ultima modifica
del documento */
document.write('<font size=-2><b>Ultima modifica: </b>');
document.write(document.lastModified);
document.write('</font>')