function show_last_edited_person(name, email)
{
  var monNames = new Array ("January", "February", "March", "April", "May", "June",
                  "July", "August", "September", "October", "November", "December");

  document.writeln("<P>");
  document.writeln("  <hr size=1>");
  document.writeln("  <table border=0 cellpadding=0 cellspacing=0 width=100%>");
  document.writeln("    <tr>");
  document.writeln("      <td width=50%><font size=2><i>Page created & maintained by <a");
  document.writeln("         href='mailto:"+email+"'>"+name+"</a><br>");
  if (Date.parse(document.lastModified) != 0)
  {
    var last_modified = new Date(Date.parse(document.lastModified));
    document.writeln("         Last Updated: " + last_modified.getDate() + " " +
                               monNames[last_modified.getMonth()] + ", " +
                               last_modified.getFullYear() );
  }
  document.writeln("      </td>");
  document.writeln("    </tr>");
  document.writeln("  </table>");
}