document.write('               <p><a href="index.html">Members</a></p>');
document.write('                <p><a href="news.html">Lab News</a></p>');
document.write('                <p><a href="collaborators.html">Collaborators</a></p></td>');