// JavaScript Document
function getLastModified()
{
	var modified_date
	modified_date=document.lastModified
	document.write("This page was last modified: "+modified_date)
}