document.writeln("\n<style type=\"text/css\">"
               + "\n   #navigation a { display: none }"
               + "\n   #navigation a.stufe1in  { display: block }"
               + "\n   #navigation a.stufe1ina { display: block }"
               + "\n   #navigation a.stufe2in  { display: block }"
               + "\n   #navigation a.stufe2ina { display: block }"
               + "\n   #navigation a.stufe3in  { display: block }"
               + "\n   #navigation a.stufe3ina { display: block }"
               + "\n   #navigation a.stufe4in  { display: block }"
               + "\n   #navigation a.stufe4ina { display: block }"
               + "\n</style>") ;