if (Date.parse(document.lastModified) != 0) {
  document.write("<blockquote><p><hr>\n<center>");
  document.write("<small>Last modified by Kevin Cole ");
  document.write("&lt;<a href=\"mailto:kjcole@well.com\">");
  document.write("kjcole@well.com</a>&gt on "+document.lastModified);
  document.write("</small></center>\n<hr></p></blockquote>\n");
}