function getLongDateString() {	
		//method defined on class Date.
		//Returns a date string of the form: Day DD Month,YYYY
		//(e.g. Sunday 27 September, 1998)
		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();
		if (year < 2000)
			year = year + 1900;
			dateStr = day+" "+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;
	}