// END OF PAGE STUFF

// Start of LAST-MODIFIED DATE AND COPYRIGHT

month=["January","February","March","April","May","June","July","August","September","October","November","December"]
wdy=["Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"];

document.writeln('<div class="smalltext"><br /> &nbsp;');
lastmoddate=Date.parse(document.lastModified);  // get string of last modified date, convert modified string to # millisecs since epoch
if (lastmoddate != 0)  // 0 is unknown date (or January 1, 1970 GMT)
{
  if (lastmoddate < 0) lastmoddate=lastmoddate+3155763600000;  // MSIE doesn't get this right! so add a thousand years in millisecs
  when=new Date(lastmoddate);  // Make Date object with that date
  mdate=when.getDate();
  ordinal="th";
  if (mdate==1 || mdate==21 || mdate==31) ordinal="st";
  if (mdate==2 || mdate==22) ordinal="nd";
  if (mdate==3 || mdate==23) ordinal="rd";
//  document.write('Updated: '+when.toDateString());
  document.write('Updated: '+wdy[when.getDay()]+' '+mdate+ordinal+' '+month[when.getMonth()]+' '+when.getFullYear());
}

document.writeln('</div>');