// JavaScript Document
document.write (' <a class="lesezeichen" href="javascript:lesezeichen();" title="Seite als Lesezeichen oder Favorit setzen">Seite im Browser merken</a> | <a class="ausdrucken" href="javascript:window.print()" title="Seite ausdrucken">Seite drucken</a> | ');