document.write('[ <a href="index2.htm">Home</a> | <a href="uber.htm">Über mich</a> | <a href="kontakt.php">Kontakt</a> | <a href="uber.htm">Über mich</a> | <a href="instr.htm">Equipment</a> | <a href="public.htm">Publikationen</a> | <a href="daten.htm">Datenbank</a> | <a href="links1.htm">Links</a> | ');