function getModDate()
{
	var s='<SMALL>Last updated:' + document.lastModified+'</SMALL><P>';
	return s;
	}