// JavaScript Document
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.getFullYear();
	
	dateStr = month + " " + dateOfMonth + ", " + 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;
}

function sendmail (user, domain)
{
	document.write('<a href="'+'mail'+'to:'+user+'@'+domain+'"'+'>'+user+'@'+domain+'</a>');
}