function getLongDateString() {
	monthNames = new Array("gennaio","febbraio","marzo","aprile","maggio","giugno","luglio","agosto","settembre","ottobre","novembre","dicembre");
	//dayNames = new Array("domenica","lunedì","martedì","mercoledì","giovedì","venerdì","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;
	dateStr = dateOfMonth+" "+month+" "+year;
	return dateStr;
}

Date.prototype.getLongDateString=getLongDateString;

function DocDate() { 
	DateTimeStr = document.lastModified;
	secOffset = Date.parse(DateTimeStr);
	if (secOffset == 0 || secOffset == null)
			 dateStr = "Unknown";
	else {
		aDate = new Date();
		aDate.setTime(secOffset);
		datestr = aDate.getLongDateString();
	}
	return dateStr;
}

//document.write("<p>");
//document.writeln(DocDate(),"</p>");
document.write(DocDate());