   <center>  [  <a href="http://ahoy.cs.washington.edu:6060/doc/home.html">About Ahoy!</a> |  <a href="http://ahoy.cs.washington.edu:6060/doc/help.html">Help </a> |  <a href="http://ahoy.cs.washington.edu:6060/doc/bugs.html">Bugs</a> |  <a href="http://ahoy.cs.washington.edu:6060/doc/register.html">Register</a> |  <a href=""http://ahoy.cs.washington.edu:6060/>Search</a>  ]  <address> <a href="mailto:ahoy@cs.washington.edu"> ahoy@cs.washington.edu</a> </address> </center> </td>
