function WriteUpdate()
{

	//var php_var = " <?  $lmd = date('d F Y H:i:s.', filemtime('index.html')); echo $lmd; ?>";
//	var n_date = new Date(document.lastModified);
	var temp = document.lastModified;
	document.write('Page last updated on');
	document.write(" "+temp+"");
	//document.write(""+n_date+"");
	document.write(".<br>");

}