document.write('    <table border="0" cellpadding="0" cellspacing="0" width="750">');
document.write('   	<tr>');
document.write('   	<td><img src="../images/clear.gif" width="26" height="30" alt="" border="0"></td>');
document.write('   	<td width="100%" class="wtext">');
document.write('   	<a href="../index.html" class="nav">Home</a>');
document.write('   	   |    ');
document.write('   	<a href="../people/index.html" class="nav">People</a>');
document.write('   	   |   ');
document.write('   	<a href="../research/index.html" class="nav">Research</a>');
document.write('   	   |   ');
document.write('   	<a href="../chip_gallery/index.html" class="nav">Chip Gallery</a>');
document.write('   	   |   ');
document.write('   	<a href="../teaching/index.html" class="nav">Teaching</a>');
document.write('   	   |   ');
document.write('   	<a href="../publications/index.html" class="nav">Publications</a>');
document.write('   	   |    ');
document.write('   	<a href="../collaborators/index.html" class="nav">Collaborators</a>');
document.write('   	   |   ');
document.write('   	<a href="../links/index.html" class="nav">Links</a>');
document.write('   	</td>');
document.write('   	<td><img src="../images/clear.gif" width="26" height="30" alt="" border="0"></td>');
document.write('   	</tr>');
document.write('   	</table>');