//monthAbbrev = new Array("Jan", "Feb","Mar","Apr","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
//RightNow = new Date();
var lastModDate = new Date(document.lastModified);

document.write( "<br><br><hr>");
//document.write( "<I>Last updated "+ lastModDate +"</I><br>");
document.write( "<I>Last updated 25 May 2009</I><br>");
document.write( "Contact the <a href=\"mailto:slange@alumni.princeton.edu\">webmaster</a> with questions or to submit a bug.");