document.write('<a class="menu" href="index.php">Home</a>&nbsp;|&nbsp;')
document.write('<a class="menu" href="bookoverview.html">Book Overview</a>&nbsp;|&nbsp;')
document.write('<a class="menu" href="book_reviews.html">Reviews</a>&nbsp;|&nbsp;')
document.write('<a class="menu" href="about.html">About the Authors</a>&nbsp;|&nbsp;')
document.write('<a class="menu" href="press.html">Press Releases</a>&nbsp;|&nbsp;')
document.write('<a class="menu" href="contact.html">Contact</a>')