// Header.js // gw 23.04.01 function write_header(){ str= new String; str+=" "; str+=" "; str+=""; document.writeln(str); } //str+=" "; //str+=" ";

"; str+=" "; str+=" "; str+=" "; str+=" "; str+="

"; str+=" "; str+=" "; str+=" "; str+=" "; str+="

$\"Wurzenberger$

$\"\"$

$\"\"$

"; str+="

$\"\"$

$\"Home\"$
$\"Download\"$