document.write('<a name=\"top\"></a>');
document.write('<div id=\"top\"><a href=\"contents.html\"><img src=\"lib/header.jpg\" border=\"0\" width="517" height="100" alt=\"click here the home page\"></a>');
document.write('<div id=\"topcontent\"><ul class=\"textmenu\"><li class=\"first\"><a href=\"front.html\">home</a></li><li><a href=\"contents.html\">contents</a></li><li><a href=\"order.html\">reviews/order</a></li><li><a href=\"lib/index.html\">about</a></li><li><a href=\"lib/terms.html\">terms of use</a></li></ul></div>');
document.write('</div>');