document.write('	<table border="0" cellpadding="10" cellspacing="0" align="center">');
document.write('	<tr>');
document.write('		<td class="wtext">');
document.write('		<a href="../index.html" class="wlink">Home</a>');
document.write('		&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../people/index.html" class="wlink">People</a>');
document.write('		&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../research/index.html" class="wlink">Research</a>');
document.write('		&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../teaching/index.html" class="wlink">Teaching</a>');
document.write('		&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../pub/index.html" class="wlink">Publications</a>');
document.write('		&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../contact/index.html" class="wlink">Contact Us</a>');
document.write('		&nbsp;&nbsp;&nbsp;:&nbsp;&nbsp;&nbsp;');
document.write('		<a href="../cyber/index.html" class="wlink">Cyber-PFTL</a>');
document.write('		</td>');
document.write('	</tr>');
document.write('	</table>');