function updateDate () {
	var m = document.lastModified; 
	var p = m.length-8; 
	document.write(m.substring(p, 0)); 
}