function CopyrightYears(firstyear) {    // e.g., Copyright © 1999-2000

  var today = new Date();
  var thisyear = today.getFullYear();
  
  var years = ( firstyear == '' || firstyear == thisyear ) ?
                thisyear : firstyear + '-' + thisyear;

  return( 'Copyright © ' + years );
}

function PutCopyrightNotice(){

  document.write(CopyrightYears(2001) + ' The Regents of the University of Michigan');
}

function DateString() {                  // e.g., Thursday 10 August 2000

  var MonthName = new Array(
      'January','February','March','April','May','June',
      'July','August','September','October','November','December'
  );
  var DayName = new Array(
      'Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday'
  );

  var today = new Date();

  return (
      DayName[today.getDay()] + ' ' + today.getDate() + ' ' +
      MonthName[today.getMonth()] + ' ' + today.getFullYear()
  );
}