document.write('<a href="index.html">Home</a><br><a href="cartoons.html">Comic strip bibliography</a><br><a href="pathfinder.html">Pathfinder</a><br><a href="alphabet.html">Alphabet</a>');