function makeArray() { 
	for (i = 0; i < makeArray.arguments.length; i++) 
 		this[i + 1] = makeArray.arguments[i];
}

function date() {
  var modifiedMonth = new makeArray('January','February','March',
                                		'April','May','June',
  																	'July','August','September',
  																	'October','November','December');
  
  var modifiedDay = new makeArray('Sunday', 'Monday', 'Tuesday', 
                                	'Wednesday', 'Thursday', 'Friday', 
  																'Saturday');										
  
  var modifiedDate = new Date(document.lastModified); 
  
  document.write("Last Updated: " + 
  modifiedDay[modifiedDate.getDay()+1] + ", " + 
  modifiedDate.getDate() + " " + 
  modifiedMonth[modifiedDate.getMonth()+1] + " " + 
  modifiedDate.getFullYear() + "&nbsp;")
  
  //The next line just prints the full date and time
  //with no finessing.
  //document.write("Last Updated: " + document.lastModified)
}

function footer() {
	//document.writeln("<br><hr>");
	var showlink = "Michelle L. Crane";
	var showname = "michellelcrane";
	var showhost = "gmail.com";
	var showsubject = "?subject=CraneWeb:"
	//document.writeln("<div align=right>");
	document.writeln("Contact: <a href=" + "mail" + "to:" + showname + 
	"&#64;" + showhost + showsubject+ ">" + showlink + "</a>");
	document.writeln("<br>");
	date();
	//document.writeln("</div>");
}