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