document.write("<div id=\"menu4\"><a href=\"index.html\"><img src=\"pics/home.png\" height=28 width=83 border=0></a></div>");
document.write("<div id=\"menu1\"><a href=\"venue.htm\"><img src=\"pics/venue.png\" height=28 width=56 border=0></a></div>");
document.write("<div id=\"menu2\"><a href=\"proceedings.htm\"><img src=\"pics/proceedings.png\" height=28 width=126 border=0></a></div>");
document.write("<div id=\"menu5\"><a href=\"author_info.htm\"><img src=\"pics/authors.png\" height=28 width=84 border=0></a></div>");
document.write("<div id=\"menu5\"><a href=\"registration_tooearly.htm\"><img src=\"pics/reg.png\" height=28 width=84 border=0></a></div>");
document.write("<div id=\"menu1\"><a href=\"history.htm\"><img src=\"pics/hist.png\" height=28 width=56 border=0></a></div>");
document.write("<div id=\"menu1\"><a href=\"tutorial.htm\"><img src=\"pics/tut.png\" height=28 width=56 border=0></a></div>");
document.write("<div id=\"menu6\"><a href=\"accomodation.htm\"><img src=\"pics/accomodation.png\" height=28 width=112 border=0></a></div>");
<!-- document.write("<div id=\"menu6\"><a href=\"socialevent.htm\"><img src=\"pics/socialevent.png\" height=28 width=112 border=0></a></div>"); -->