document.write('<p class="menu_header">Logback-Audit project</p>');
document.write('<p class="menu"><a href="' + prefix + 'index.html">Introduction</a></p>');
document.write('<p class="menu"><a href="' + prefix + 'download.html">Download</a></p>');
document.write('<p class="menu"><a href="' + prefix + 'documentation.html">Documentation</a></p>');
document.write('<p class="menu"><a href="' + prefix + 'license.html">License</a></p>');
document.write('<p class="menu"><a href="' + prefix + 'news.html">News</a></p>');
document.write('<p class="menu_header">Support</p>');
document.write('<p class="menu"><a href="' + prefix + 'mailinglist.html">Mailing Lists</a></p>');
document.write('<p class="menu"><a href="' + prefix + 'bugreport.html">Bug Report</a></p>');
document.write('</p>');