//Version 5_3
function getLongDateString()
{
	//method defined on class Date.
	//Returns a date string of the form: Day DD Month,YYYY
	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");
	dayOfWeek = this.getDay();
	day = dayNames[dayOfWeek];
	dateOfMonth = this.getDate();
	monthNo = this.getMonth();
	month = monthNames[monthNo];
	year = this.getYear();
	hours = this.getHours();
	minutes = this.getMinutes();
	if (year > 2000)
		{year = year;}
	else
		if (year < 100)
			{
			year = year + 2000;
			dateOfMonth = dateOfMonth + 1;
			}
		else
			{year = year + 1900;}
	dateStr = dateOfMonth+" "+month+" "+year
	return dateStr;
}

//register the  method in the class Date
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;
}