var mod=document.lastModified;


if (mod)	//if the last modified date is available, write it to the bottom of the page
{

	//previously used, generally works but display varies among browsers
	//document.write("<BR />&nbsp;This page last updated:  " + mod.substr(0,11));	//just the date, not the time

	modDate=new Date(mod);			//seen somewhere as modDate=new Date(Date.parse(mod));  but seems unnecessary

	document.write("<BR />&nbsp;This page last updated:  ");

	document.write(modDate.getMonth()+1 + "/" + modDate.getDate()  );	//starts counting months with zero
	if (modDate.getFullYear() && modDate.getFullYear() > 2000)		//very old browsers may not understand fullyear; site did not exist before 2000, so must be an error
	   document.write( "/" + modDate.getFullYear()  );				//if year seems valid, write it to page 

	//make a notation if it has just been modified today
	today=new Date();
	if (modDate.getMonth()==today.getMonth() && modDate.getDate()==today.getDate() && modDate.getFullYear()==today.getFullYear())
		document.write("<span style='color:#A56B00;'> <b>(today)</b></span>");


	//document.write(mod.getDate());		//for viewing it exactly as the browser gives it before formating it with js

}