document.write('	<table border="0" cellpadding="0" cellspacing="0" width="100%">');
document.write('	<tr>');
document.write('		<td align="center">');
document.write('		<p>&nbsp;</p>');
document.write('		<p>');
document.write('		<a href="../index.html">Home</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../projects/index.html">Projects</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../group/index.html">Group</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../teaching/index.html">Teaching</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../publications/index.html">Publications</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../contact/index.html">Contact Us</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../news/index.html">News</a>');
document.write('		</p>');
document.write('		</td>');
document.write('	</tr>');
document.write('	</table>');