function getPgLastMod(){	
	var lastMod =new Date(document.lastModified)
	var theDate = ""
	if(Date.parse(document.lastModified) > 0){theDate = "Page last modified: "+lastMod.toDateString();}
	return "<DIV STYLE='width:300px;height:14px;float:right;padding-top:4px;overflow:hidden;'>"+theDate+"<\/DIV>"
}