document.write('<a href="downloads.html">Downloads</a><br>');
document.write('<a class="menulnk" href="tutorial.html">Tutorial</a><br>');
document.write('Example(s):<a class="menulnk"  href="queens.pl"> nqueens.pl</a><br>');