<!--
//return text month name for "last updated" function
function getMonthName(monthNumber) {
	var month = new Array(13);
	month[0] = "No Month";
	month[1] = "January";
	month[2] = "February";
	month[3] = "March";
	month[4] = "April";
	month[5] = "May";
	month[6] = "June";
	month[7] = "July";
	month[8] = "August";
	month[9] = "September";
	month[10] = "October";
	month[11] = "November";
	month[12] = "December";
	return month[monthNumber];
}

//insert 'last updated' line into body
function lastUpdated() {
	update = new Date(document.lastModified);
	theMonthNum = update.getMonth() + 1;
	theDate = update.getDate();
	theYear = update.getFullYear();
	document.writeln("<p><i>This page was last updated on " + theDate + " " + getMonthName(theMonthNum) + " " + theYear + ".</i></p>");
}

//return email link
function emailLink() {
	var user = 'steve';
	var domain = 'mathias.org';
	var email = '<a href="mailto:' + user + '@' + domain + '">' + user + '@' + domain + '<\/a>';
	document.write(email);
}
//-->