document.write('Return to:   ');
document.write('<a href="../index.html" class="topnav" target="_blank">Home</a>');
document.write('&nbsp;&nbsp;&nbsp;|&nbsp;&nbsp;&nbsp;');
document.write('<a href="../publications/index.html" class="topnav" target="_blank">Publications</a>');