function formatDate(date) {
	var monthArray = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
	var dayArray = new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");

  theDate = new Date(date);

  // split into day, date, month, year
  iDay = theDate.getDay();
  iDate = theDate.getDate();
  iMonth = theDate.getMonth();
  iYear = theDate.getFullYear();

  return dayArray[iDay] + " - " + monthArray[iMonth] + " " + iDate + ", " + iYear;
}

function displayDate() {
	var now = new Date();
	var dt = new Date(document.lastModified);
	document.getElementById("spaCurrentDate").childNodes[0].nodeValue = formatDate(now);
	document.getElementById("spaLastModified").childNodes[0].nodeValue = "<" + formatDate(dt) + ">";
}