//Author: Nicholaus Malone
//This script provides the date last modified of the document.
function datemod()
 {	var dateLastMod=new Date(document.lastModified);
 	var dateMonth=dateLastMod.getMonth();
 	var dateDay=dateLastMod.getDate();
 	var dateDayWeek=dateLastMod.getDay();
 	var dateYear=dateLastMod.getFullYear();
 	var Month=new Array("January","February","March","April","May","June","July","August","September","October","November","December");
 	var DayWeek=new Array("Monday","Tuesday","Wednsday","Thursday","Friday","Saturday","Sunday");
 	document.write('<span id="datelastmod">This site last updated '+DayWeek[dateDayWeek]+"&#32;"+Month[dateMonth]+"&#32;"+dateDay+"&#32;"+dateYear+"</span>");
 }