document.write("<a href='stories.htm' id='gl4' class='glink' onmouseover='ehandler(event,menuitem1);'>stories</a>	  <a href='software.htm' id='gl4' class='glink' onmouseover='ehandler(event,menuitem4);'>software</a>	  <a href='articles.htm' id='gl3' class='glink' onmouseover='ehandler(event,menuitem3);'>articles</a>	  <a href='faculty.htm' id='gl5' class='glink' onmouseover='ehandler(event,menuitem5);'>faculty</a>	  <a href='postdocs.htm' id='gl7' class='glink' onmouseover='ehandler(event,menuitem7);'>postdocs</a>	  <a href='students.htm' id='gl6' class='glink' onmouseover='ehandler(event,menuitem6);'>students</a>");