function Modified()
{
	var dm=new Date (document.lastModified);
	document.writeln ("<p class=\"centered\"><br><b>last modified:</b> "+dm.toLocaleString()+"</br></p>");
}