function getLongDateString()
{
	dayOfWeek = this.getDay();
	dateOfMonth = this.getDate();
	monthNo = this.getMonth()+1;
	year = this.getYear();
	if (year < 2000)
		year = year + 1900;
	var MonthAusgabe = ((monthNo < 10) ? "0" + monthNo : monthNo);
	var DayAusgabe = ((dateOfMonth < 10) ? "0" + dateOfMonth : dateOfMonth);
	dateStr = DayAusgabe+"."+MonthAusgabe+"."+year;
	return dateStr;
}

Date.prototype.getLongDateString=getLongDateString;

function DocDate()
{ //return the document modification date (excl.time)
//as a string
	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;
}