/*Date last modified script - D. Nichols 1999 */



	var months = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", 
	"Aug", "Sep", "Oct", "Nov", "Dec");

	var d = new Date(document.lastModified);

	document.write("<p>Last modified: "+d.getDate() +" "+ months[d.getMonth()] +" "+ d.getYear()+"</p>");