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