function lastmod()
{
	document.write("Last updated: " +
		document.lastModified +
		"<br>");
}