document.write('<p align="left">');
document.write('<a href="http://mistletoe.qos.ch/">');
document.write('<img src="' + prefix + 'images/MISTLETOE_logo.png" alt="" border="0"/>');
document.write('</a>')
document.write('</p>');
document.write('<div id="headerLine"></div>');