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\">" );

  if ((this.w3c || this.ms) && !this.isOldOp && !this.isMacIE) {
		document.write( "<label for=\"style\" title=\"Hier k&ouml;nnen Sie das Aussehen dieser Seiten ver&auml;ndern\">Stil:<\/label> " );
	}

	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=\"grafisch\" title=\"Grafische Darstellung\">grafisch<\/option>" );

	document.write( "<option value=\"kontrast\" title=\"Kontrastreiche Darstellung\">kontrast<\/option>" );

	document.write( "<option value=\"drucker\" title=\"Optimierte Darstellung für den Druck\">Druckversion<\/option>" );

	document.write( "<\/select>" );
	document.write( "<\/form>" );
}