document.write('<div class="menuGroup">');
document.write('<p class="menu_header">Mistletoe project</p>');
document.write('  <a href="' + prefix + 'index.html">Introduction</a>');
document.write('  <a href="' + prefix + 'news.html">News</a>');
document.write('  <a href="' + prefix + 'download.html">Download</a>');
document.write('  <a href="' + prefix + 'documentation.html">Documentation</a>');
document.write('  <a href="' + prefix + 'mailinglist.html">Mailing Lists</a>');
document.write('  <a href="' + prefix + 'repos.html">Source Repository</a>');
document.write('  <a href="' + prefix + 'bugreport.html">Bug Report</a>');
document.write('  <a href="' + prefix + 'license.html">License</a>');
document.write('</div>');

document.write('<p>&nbsp;</p>');
document.write('<p class="pub">');
document.write('  <a href="http://www.qos.ch/shop/products/log4jManual">');
document.write('    <img src="images/buyDirect.jpg" border="0" title="" alt="buy direct from the developer"/>');
document.write('  </a>');
document.write('</p>');