window.onload=last_modified;
var txt="";

function last_modified()
{
	if (document.lastModified && document.createElement && document.getElementById && document.createTextNode)
	{
	var last_modified_time = document.lastModified.toLocaleString(); 	
	var last_modified_date = last_modified_time.substring(0,10);				

	var span = document.createElement('span'); 				
	var parent = document.getElementById('last_modified');		
	parent.appendChild(span);																							
	var txt = document.createTextNode(last_modified_date);	
	span.appendChild(txt);								
	}
}