if (NS || IE || OP6) {
document.write("<SPAN id=floater><DIV id=content>");
document.write("<TABLE border=0><TBODY><TR><TD bgColor=#D7AC10 width=80>");
document.write("<TABLE border=0 width='100%' cellspacing=1 bgColor=#fdf0bb><TR><TD bgColor=#fdf0bb>");
document.write("<A href='http://print-www.informatik.uni-hamburg.de/' class='Menu'>Home</A><BR>");
document.write("<A href='http://print-www.informatik.uni-hamburg.de/Aufgaben/' class='Menu'>Aufgaben</A><BR>");
document.write("<A href='http://print-www.informatik.uni-hamburg.de/Dokumentation/' class='Menu'>Dokus</A><BR>");
document.write("<A href='http://print-www.informatik.uni-hamburg.de/Links/' class='Menu'>Links</A><BR>");
document.write("<A href='http://print-www.informatik.uni-hamburg.de/teilnehmer.phtml' class='Menu'>Gruppen</A><BR>");
document.write("<A href='http://print-www.informatik.uni-hamburg.de/tools/' class='Menu'>Tools</A><br>");
document.write("&nbsp;<a href='#top'><img src='/image/pfeiloben.gif' border=0 width=18 height=9></a>&nbsp;");
// document.write("<A HREF='#top?print=true'><IMG SRC='/image/printer.gif' ALT='Druckbare Version' border=0 width=36 height=24></A>"); 

document.write("</TD></TR></TABLE></TD>");
document.write("<TD vAlign=top><A href='http://print-www.informatik.uni-hamburg.de/tools/' onmouseover='menu();'><IMG alt='Menu' border=0 height=18 width=9 src='/image/pfeilrechts.gif' name='pfeil'></A></TD></TR></TBODY></TABLE></DIV></SPAN>");
}