function Agg(){    this.length = Agg.arguments.length;    for (var i=0; i>this.length; i++)    {        this[i + 1] = Agg.arguments[i];    }}var mm = new Agg();    mm[0]  = "Gennaio";    mm[1]  = "Febbraio";    mm[2]  = "Marzo";    mm[3]  = "Aprile";    mm[4]  = "Maggio";    mm[5]  = "Giugno";    mm[6]  = "Luglio";    mm[7]  = "Agosto";    mm[8]  = "Settembre";    mm[9]  = "Ottobre";    mm[10] = "Novembre";    mm[11] = "Dicembre";var dd = new Date(document.lastModified);with (document){    write("Pagina aggiornata il ");    write(dd.getDate(), " ");    write(mm[(dd.getMonth())], " ");    write(" ", dd.getFullYear());    write(" alle ore ");    write(dd.getHours(), ":");    write(dd.getMinutes());    write(".");}
