document.write('<ul style="margin-bottom: 16px;"><li><a href="../index.html">Startseite</a></li>');
document.write('<li><a href="javascript:history.back();">Zurück</a></li></ul>');
document.write('<div class="navtitel">SUCHE</div>');
document.write('<ul><li><a href="#" onclick="suche(');
document.write("'ein'");
document.write(', 1)">Schnellsuche</a></li>');
document.write('<li><a href="#" onclick="suche(');
document.write("'ein'");
document.write(', 2)">Volltext</a></li></ul>');