function lastModified() {
   //-- Returns date this page was last modified.
   var modiDate=new Date(document.lastModified)
   //var showAs=modiDate.getMonth()+1+"/"+modiDate.getDate()
   //showAs+="/"+modiDate.getYear() 
   //var showAs = modiDate.mdy();
	 return modiDate;
}