document.write('			<a href="index.html" class="sublink">Douglas Lauffenburger </a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="lab.html" class="sublink">Lab Members</a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="alumni.html" class="sublink">Alumni</a>');
document.write('			&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('			<a href="collaborators.html" class="sublink">Collaborators</a>');