function lastUpdate () {
		document.write('<B><I>Site last updated ' + document.lastModified + '</I></B><BR>')
}