var a;
a = new Date(document.lastModified);
lm_year = a.getYear();
lm_year = ((lm_year < 1000) ? ((lm_year < 70) ? 2000 : 1900) : 0) + lm_year;
lm_month = a.getMonth() + 1;
lm_month = ((lm_month < 10) ? '0' : '') + lm_month;
lm_day = a.getDate();
monthName = new Array(12)
monthName[0] = 'gennaio'
monthName[1] = 'febbraio'
monthName[2] = 'marzo'
monthName[3] = 'aprile'
monthName[4] = 'maggio'
monthName[5] = 'giugno'
monthName[6] = 'luglio'
monthName[7] = 'agosto'
monthName[8] = 'settembre'
monthName[9] = 'ottobre'
monthName[10] = 'novembre'
monthName[11] = 'dicembre'