function lastupdate() {
	var lastupdate
	lastupdate=document.lastModified
	document.write("Last Update: "+lastupdate)
}