function lastMod() {
 return document.lastModified;	
}

function getDate() {
	var returnDate;
	var day, month, year;
	
	var myDate = new Date();

// Process week day
	var tmpDay = myDate.getDay();
	
	  if (tmpDay == 0)
	    day = "Sunday" ;
	  else if  (tmpDay ==1)
	    day = "Monday" ;
	  else if  (tmpDay ==2)
	    day = "Tuesday" ;
// process year
    year = myDate.getFullYear();
// Process month
  var tmpMonth = myDate.getMonth();
     if (tmpMonth == 0) 
       month = "January" ;
     else if (tmpMonth == 1) 
       month = "Feburary";
     else if (tmpMonth == 2) 
       month = "March";
     else if (tmpMonth == 3) 
       month = "April";
     else if (tmpMonth == 4) 
       month = "May";
     else if (tmpMonth == 5) 
       month = "June";
     else if (tmpMonth == 6) 
       month = "July";
returnDate = day +", " +  month + " " +  year + ".";
  	
 return returnDate;
	}