// JavaScript Document
function filedate(){
	var lastmod;
	var monthname = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
	
	lastdate = new Date(document.lastModified);
	lastmod = "Last modified: "
	lastmod += monthname[lastdate.getMonth()] + " ";
	lastmod += lastdate.getDate() + ", ";
	lastmod += lastdate.getYear() + 1900;
	document.write(lastmod);
	
}