document.write('		<span class="wtext">');
document.write('		[ <a href="../index.html" class="wlink">Home</a> ]');
document.write('		&nbsp;&nbsp;&nbsp;');
document.write('		[ <a href="../research/index.html" class="wlink">Research</a> ]');
document.write('		&nbsp;&nbsp;&nbsp;');
document.write('		[ <a href="../teaching/index.html" class="wlink">Teaching</a> ]');
document.write('		&nbsp;&nbsp;&nbsp;');
document.write('		[ <a href="../people/index.html" class="wlink">People</a> ]');
document.write('		&nbsp;&nbsp;&nbsp;');
document.write('		[ <a href="../partners/index.html" class="wlink">Partners</a> ]');
document.write('		&nbsp;&nbsp;&nbsp;');
document.write('		[ <a href="../contact/index.html" class="wlink">Contact</a> ]');
document.write('		</span>');