document.write("<a href='utrecht.htm'><IMG src=nav/b08.gif></A>");
document.write("<a href='newsbreak.htm'><IMG src=nav/b10.gif></A><a href='recentnews.htm'><IMG src=nav/b11.gif></A><a href='gnd2002.htm'><IMG src=nav/b21.gif></A><a href='tercentenary.htm'><IMG src=nav/b23.gif></A><a href='viewpoint.htm'><IMG src=nav/b09.gif>");