// JavaScript Document
/*  calcolo data ultimo aggiornamento           */
<!--
weblink=document.lastModified;
if (navigator.appName == "Microsoft Internet Explorer") {
mese = weblink.substring(0,2)
giorno = weblink.substring(3,5)
anno = weblink.substring(6,10)
ore = weblink.substring(11,16)}
// -->