document.write(
'<ul><li><a href="index.html">home</a></li><li><a href="resprojects.html">research projects</a></li><li><a href="edprograms.html">educational programs</a></li><li><a href="people.html">people</a></li><li><a href="contact.html">contact us</a></li></ul>'
);