document.write('	<table border="0" cellpadding="0" cellspacing="0">');
document.write('	<tr>');
document.write('		<td><img src="../images/clear.gif" width="20" height="40" alt="" border="0"></td>');
document.write('		<td class="wtext">');
document.write('		<a href="../" class="nav">Home</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../research/" class="nav">Research</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../publications/" class="nav">Publications</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../people/" class="nav">People</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../photos/" class="nav">Photos</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../links/" class="nav">Links</a>');
document.write('		&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../contact/" class="nav">Contact Us</a>');
document.write('		</td>');
document.write('		<td><img src="../images/clear.gif" width="20" height="40" alt="" border="0"></td>');
document.write('	</tr>');
document.write('	</table>');