var lastmoddate = document.lastModified;
if(lastmoddate==0)
{
	document.writeln("Last modified: Unknown<BR>&copy; 2000 Copyright EE Circle");
}
else
{
	document.writeln("This page was last modified on " + lastmoddate + "<BR>&copy; 2000, 2001 Copyright EE Circle");
}