var lastMod = document.lastModified;
var month = new Array("gennaio","febbraio","marzo",
"aprile","maggio","giugno","luglio","agosto","settembre",
"ottobre","novembre","dicembre");
var lastDate = new Date(lastMod);
document.write('<center><font size=1 color=#666666 face=verdana>Ultima revizione : <b>');
document.write(lastDate.getDate()+" de ");
document.write(month[lastDate.getMonth()]+" de ");
if (lastDate.getYear()<10)
document.write("200"+lastDate.getYear());
else
document.write(" "+lastDate.getYear());
document.write('</b>');