<!--
function getLongDateString()
{
//************* english
//monthNames = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
//dayNames = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
//************* Italiano
monthNames = new Array("Gennaio","Febbraio","Marzo","Aprile","Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre","Novembre","Dicembre");
dayNames = new Array("Domenica","Lunedi'","Martedi'","mercoledi'","Giovedi'","Venerdi'","Sabato");
dayOfWeek = this.getDay();
day = dayNames[dayOfWeek];
dateOfMonth = this.getDate();
monthNo = this.getMonth();
month = monthNames[monthNo];
year = this.getYear();
if (year < 2000)
year = year + 1900;
dateStr = day+" "+dateOfMonth+" "+month+", "+year;
return dateStr;
}
//register the  method in the class Date
Date.prototype.getLongDateString=getLongDateString;
/***************
return the document modification date (excl.time)
as a string
****************/
function DocDate()
{ 
  DateTimeStr = document.lastModified;
  secOffset = Date.parse(DateTimeStr);
if (secOffset == 0 || secOffset == null) //Opera3.2
  dateStr = "Unknown";
else
{
  aDate = new Date();
  aDate.setTime(secOffset);
//use method defined above
  datestr = aDate.getLongDateString();
}
return dateStr;
}
// -->