var mnths="JANFEBMARAPRMAYJUNJULAUGSEPOCTNOVDEC";
var update = new Date(document.lastModified);
dd = update.getDate();
mm = update.getMonth() * 3;
ma = mnths.substring(mm,mm+3);
yy = update.getYear(); yy+=(yy<1000)?1900:0000;
document.write("ultimo aggiornamento:&nbsp;"+dd+"&nbsp;"+ma+"&nbsp;"+yy+"");