function lastmodified(){
	lastmod=new Date(document.lastModified)
	return lastmod.toGMTString().substring(0,16)
}