document.write('	<table border="0" cellpadding="0" cellspacing="0" width="100%">');
document.write('	<tr>');
document.write('		<td><img src="../images/home_corner_img.jpg" border="0"></td>');
document.write('		<td width="100%" class="wtext" align="right">');
document.write('		<a href="../index-url.html" class="bottomnav">Home</a>');
document.write('		&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('		<a href="../research/" class="bottomnav">Research</a>');
document.write('		&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('		<a href="../publications/" class="bottomnav">Publications</a>');
document.write('		&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('		<a href="../people/" class="bottomnav">People</a>');
document.write('		&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('		<a href="../positions/" class="bottomnav">Open Positions</a>');
document.write('		&nbsp;&nbsp;:&nbsp;&nbsp;');
document.write('		<a href="../contact/" class="bottomnav">Contact</a>');
document.write('		</td>');
document.write('		<td><img src="../images/clear.gif" width="20" height="20" alt="" border="0"></td>');
document.write('	</tr>');
document.write('	</table>');