function lastMod() {
	document.write("Last updated on "+document.lastModified+".");
}