<!--
	document.write (
		"<P>",
		"Last modified " + document.lastModified
	)
//->