//	footer.js
function writeDateModified () {

  var days = new Array;                   
  var months = new Array;                 

  days[0] = "Sunday";
  days[1] = "Monday";
  days[2] = "Tuesday";
  days[3] = "Wednesday";
  days[4] = "Thursday";
  days[5] = "Friday";
  days[6] = "Saturday";

  months[0] = "January";
  months[1] = "February";
  months[2] = "March";
  months[3] = "April";
  months[4] = "May";
  months[5] = "June";
  months[6] = "July";
  months[7] = "August";
  months[8] = "September";
  months[9] = "October";
  months[10] = "November";
  months[11] = "December";

  var modDate = new Date(Date.parse(document.lastModified));
  
  if (modDate != 0) {
    var day = days[modDate.getDay()];
    var ndate = modDate.getDate();
    var month = months[modDate.getMonth()];
    var year = modDate.getYear();    
	if (year < 200)	{ year = 1900 + year; }
    document.write(month + " " + ndate + ", " + year+ " &nbsp;"  + day);
  }
}

//  Code to write footer.
document.write ("&nbsp;&nbsp;&nbsp;<a href=\"mailto:yue@uhcl.edu\">Feedback to the site</a>&nbsp;");

document.write ("&nbsp;&nbsp;Copyright 2006 CS UHCL&nbsp;");


document.write ("&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Last modified: ");
writeDateModified();