<!--
  var mesi = "Gen. Feb. Mar. Apr. Mag. Giu. Lug. Ago. Set. Ott. Nov. Dic.";
  mese = mesi.split(" ");

  var d = new Date(Date.parse(document.lastModified))
  var y = d.getFullYear();
                if (y < 2000) y += 100;
        document.write("Ultima modifica ", d.getDate(), " ", mese[d.getMonth()], " ", y);
file:// -->