document.write('	<table border="0" cellpadding="20" cellspacing="0">');
document.write('	<tr>');
document.write('		<td class="wtext">');
document.write('		<a href="../index.html" class="top_nav">home</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../research/index.html" class="top_nav">research</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../members/index.html" class="top_nav">lab members</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../pictures/index.html" class="top_nav">pictures</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../pub/index.html" class="top_nav">publications</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../contact/index.html" class="top_nav">contact info</a>');
document.write('		</td>');
document.write('	</tr>');
document.write('	</table>');