function makeArray0() {
     for (i = 0; i<makeArray0.arguments.length; i++)
          this[i] = makeArray0.arguments[i];
}

var days = new makeArray0("Sunday","Monday","Tuesday","Wednesday",
    "Thursday","Friday","Saturday");

var months = new makeArray0("January","February","March",
    "April","May","June","July","August","September",
    "October","November","December");

var giorno = new makeArray0("domenica","luned&igrave","marted&igrave",
    "mercoled&igrave","gioved&igrave","venerd&igrave","sabato");

var mese = new makeArray0("Gennaio","Febbraio","Marzo","Aprile",
    "Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre",
    "Novembre","Dicembre");

function articolo(day) {
     if (day == 1 || day == 8 || day == 11) return "l'";
     return "il ";
}

function nths(day) {
     if (day == 1 || day == 21 || day == 31) return 'st';
     if (day == 2 || day == 22) return 'nd';
     if (day == 3 || day == 23) return 'rd';
     return 'th';
}

function getCorrectedYear(year) {
    year = year - 0;
    if (year < 70) return (2000 + year);
    if (year < 1900) return (1900 + year);
    return year;
}

function y2k(number) { return (number < 1000) ? number + 1900 : number; }

var dlm = document.lastModified;
var shortdate = dlm.toLocaleString();
var date = new Date(dlm);
var dateY2K = new Date(getCorrectedYear(date.getYear()),date.getMonth(),date.getDate());

function UltimoAggGiorno(){
var strit = "<font size=-1>Ultimo aggiornamento: " + 
    giorno[dateY2K.getDay()] + " " + dateY2K.getDate() + " " + 
    mese[dateY2K.getMonth()] + " " + y2k(dateY2K.getYear()) + "</font>";
return strit;
}

function LastModDay(){
var stren = "<font size=-1>Last updated on " + days[dateY2K.getDay()] + 
    " " + months[dateY2K.getMonth()] + " " +dateY2K.getDate() + 
    nths(dateY2K.getDate()) + ", " + y2k(dateY2K.getYear()) + "</font>";
return stren;
}

function DateLastModified(){
var dlm = new Date(document.lastModified);
var str = "<font size=-1>Last update: " + dlm + "</font>";
return str;
}