document.write(

"<!-- --><a href='prod_startmenu.html' class='sub'>Ersatzteile-Übersicht</a> | " +
"<!-- --><a href='prod_ersatz_werkzeug.html' class='sub'>Werkzeug</a> | " +
"<!-- --><a href='prod_startmenu.html' class='sub'>Ersatzteile für Nokia-Handys</a> | " +
"<!-- --><a href='prod_startmenu.html' class='sub'>Ersatzteile für Siemens-Handys</a> "


);