// pages.js  tweaked December 2005

//If there's a better way to do this, I don't know what it is:
function showDate() {
  var dateObject = new Date();
  var days = ['Sunday','Monday','Tuesday','Wednesday','Thursday',
    'Friday','Saturday'];
  var months = ['January','February','March','April','May','June',
    'July','August','September','October','November','December'];
  var dateString = 
    days[dateObject.getDay()] + ', ' 
    + months[dateObject.getMonth()] + ' ' 
    + dateObject.getDate() + ', ' 
    + dateObject.getFullYear() + ' ';
  return dateString;
}

// This rids lastModified of the time portion, if it's there,
// and seems to work okay in the five browsers I've checked:
revisedString = document.lastModified.replace(/\s\d{2}:\d{2}:\d{2}\s?(GMT)?/i," ");

//Ya know, I don't think this is working...
function nospam(){
  document.location = "mailto:" + "peters" + "en1024 at " + "ya" + "hoo.com";
}