document.write("\
    <ul>\
    <li><a href='index.html'>Research</a></li>\
    <li><a href='teaching.html'>Teaching</a></li>\
    <li><a href='sw.html'>Software</a></li>\
    <li><a href='run.html'>Running</a></li>\
    </ul>\
    ")