document.write("<HR WIDTH = '75%'><TABLE CELLPADDING=10><TD>");
document.write("<FONT SIZE=-1>");
document.write("<TD><FONT SIZE=-1>");
document.write("Mail comments to: ");
document.write("<A HREF='mailto: jrees@u.washington.edu'>");
document.write("Jane Rees </A><BR>");
document.write("<B>Document: </B>");
document.write(document.title);
document.write("<BR> Revised: ");
document.write(document.lastModified);
document.write("<BR><B><I> ");
document.write(document.URL);
document.write("</FONT></TD></TABLE></CENTER>");