// JavaScript Document
// kfoss@maine.edu * 6/20/2008
	var moded = new Date (document.lastModified);
	var months = [ 'January', 'February', 'March', 'April', 'May', 'June',
    				'July', 'August', 'September', 'October', 'November', 'December' ];

    var month = months[moded.getMonth()];
	var day = moded.getDate();
	var year = moded.getFullYear();
	var date = month + " " + day + ", " + year;
    	
    document.write("Last Modified on " + date)