document.write('<font size="1" face="Verdana, Arial, Helvetica, sans-serif"><a href="about.html">about us</a> : <a href="current_issue.html">current issue</a> : <a href="back_issues.html">back issues</a> : <a href="subscriptions.html">subscription &amp; ordering info</a> : <a href="links.html">links</a> : <a href="contact.html">contact</a></font>')