function showToolbox()
{
        this.w3c = (document.getElementById);
        this.ms = (document.all);
        this.userAgent = navigator.userAgent.toLowerCase();
        this.isMacIE = ((this.userAgent.indexOf('msie') != -1) && (this.userAgent.indexOf('mac') != -1) && (this.userAgent.indexOf('opera') == -1));
        this.isOldOp = ((this.userAgent.indexOf('opera') != -1)&&(parseFloat(this.userAgent.substr(this.userAgent.indexOf('opera')+5)) <= 7));

        document.write( "<form action=\"switch\">" );
  document.write( "<div id=\"toolbox\">" );

  if ((this.w3c || this.ms) && !this.isOldOp && !this.isMacIE) {
                document.write( "<label for=\"style\" title=\"Seitenformat ändern\">Stil verändern:<\/label><br / \/>" );
        }

        document.write( "<select id=\"style\" size=\"1\"  onchange=\"setActiveStyleSheet(value);\">" );
        document.write( "<option selected=\"selected\" disabled=\"disabled\">ausw&auml;hlen<\/option>" );
        document.write( "<option value=\"standard\" title=\"Helle Version\">Einfache Version<\/option>" );
        document.write( "<option value=\"alternativ\" title=\"Gruene Version\">Alternative Version<\/option>" );
        document.write( "<\/select>" );
        document.write( "<\/div>" );
        document.write( "<\/form>" );

}