document.write(
 '<ul id="nav"> '
 + '<li><a href="../index.html" title="Home" id="current">home</a></li> '
 + '<li><a href="contact_info.html" title="Contact Info" id="current"><br>contact info</a></li> '
 + '<li><a href="alumni_found.html" title="Alumni Found" id="current"><br>alumni found</a></li> '
 + '<li><a href="missing_brothers.html" title="Missing Alumni" id="current" ><br>missing alumni</a></li> '
  + '</ul> '
);