<!--

function printpop(url,id) {
window.open(url,id,"height=550,width=700,top=10,left=20,toolbar=yes,location=no,status=yes,menubar=yes,scrollbars=yes,resizable=yes");}

function kEmpty(word) {
if((word=="Stichwort")||(word=="keyword")||(word=="suchbegriff")) 
{document.search.keyword.value="";}}

function showPDF(doc) {var url="pdf/" +doc;
document.getElementById("screen").src=url;}



document.write("<LINK REL='stylesheet' HREF='font.css' TYPE='text/css'>");

// -->

