document.write("<div id=\"menu8\"><a href=\"index.html\"><img src=\"pics/home.png\" height=28 width=63 border=0></a></div>");
document.write("<div id=\"menu8\"><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=\"menu7\"><a href=\"author_info.htm\"><img src=\"pics/authors.png\" height=28 width=84 border=0></a></div>");
<!--document.write("<div id=\"menu7\"><a href=\"registration_late.htm\"><img src=\"pics/reg.png\" height=28 width=84 border=0></a></div>");-->
document.write("<div id=\"menu4\"><a href=\"history.htm\"><img src=\"pics/hist.png\" height=28 width=56 border=0></a></div>");
document.write("<div id=\"menu4\"><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=130 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>"); -->