document.write('<B><A HREF="/company_info/">Firmeninformationen</A> | ');
document.write('<A HREF="/animations.html">Napster-Kampagne</A> | ');
document.write('<A HREF="/faq_user.html">Direkthilfe</A></B>');