var menu= "<div id=arrowlist><ul><li><a title=Home href=index.html>Home</a></li><li><a title=Call for Papers href=CFP.html>Call for Papers</a></li><li><a title=Themes and Topics href=themes.html>Themes and Topics</a></li><li><a title=Important Dates href=importantdates.html>Important Dates</a></li><li><a title=Invited Speakers href=speakers.html>Invited Speakers</a></li><li><a title=Programme href=programme.html>Programme</a></li><li><a title=Camera Ready Submission href=camerasubmission.html>Camera Ready Submission</a>	</li><li>	<a title=Registration href=registration.html>Registration</a>		</li><li>	<a title=Doctoral Mentoring Program href=dmp.html>Doctoral Mentoring Program</a>		</li><li>	<a title=Agent School href=agentschool.html>Agent School</a>		</li>		<li>  <a title=Location href=location.html>Location</a>		</li>		<li>	<a title=Accomodation href=accomodation.html>Accomodation</a>		</li>		<li>	<a title=Tours href=tours.html>Tours</a>		</li>		<li>	<a title=Local Information href=About_Hanoi.html>Local Information</a>		</li>		<li>	<a title=Contact Us href=contact.html>Contact Us</a>		</li>		</ul></div>";document.write(menu);