document.write("<table width='100%' border='0' class='menu'>");
document.write("<tr class='menu'><td><a class='menu' href='http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3722&issue=preprint'>Springer Conference Proceedings (NEW!)</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='finalhtml.html'>Final Program (Conference and Tutorials) (NEW!)</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='eot.htm'>Excursion and Optional Tour (NEW!)</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='Hanoi_About.htm'>Local Information</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='Visa.htm'>Visa Information</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='accommodation.htm'>Accomodation (UPDATED!)</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='reg.html'>Conference Registration </a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='conference.html'>Conference Venue </a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='acceptedpapers.html'>Accepted Papers </a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='index.html'>Background and Objectives</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='topic.html'>Topics and Program</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='dates.html'>Important Dates</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='speakers.html'>Invited Speakers</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='organisation.html'>Organisation</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='committees.html'>Committees</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='sponsors.html'>Sponsors</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='tourist.html'>Tourism Information</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='contact.html'>Contact Us</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='springer.html'>Formal Aspects of Computing</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("<tr class='menu'><td><a class='menu' href='http://confman.iist.unu.edu/ICTAC2005/PC-online/'>Program Committee Page</a></td></tr>");
document.write("<tr class='menu'><td>&nbsp;</td></tr>");
document.write("</table>");