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\" style=\"margin:0;padding:0.3em 0 0 0.5em;\">" );
  document.write( "<div id=\"toolbox\">" );

  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\">Farben:<\/label> " );
	}

	document.write( "<select id=\"style\" size=\"1\" onchange=\"setActiveStyleSheet(value);\">" );
	document.write( "<option value=\"Winter\" title=\"Winter\" disabled=\"disabled\">ausw&auml;hlen<\/option>" );
	document.write( "<option value=\"Winter\" title=\"Winter\">Winter<\/option>" );
	document.write( "<option value=\"Fr&uuml;hling\" title=\"Fr&uuml;hling\">Fr&uuml;hling<\/option>" );
	document.write( "<option value=\"Sommer1\" title=\"Fr&uuml;ling\">Sommer1<\/option>" );
	document.write( "<option value=\"Sommer2\" title=\"Fr&uuml;ling\">Sommer2<\/option>" );
	document.write( "<option value=\"Sommer3\" title=\"Fr&uuml;ling\">Sommer3<\/option>" );
	document.write( "<option value=\"Herbst\" title=\"Fr&uuml;ling\">Herbst<\/option>" );
	document.write( "<\/select>" );
	document.write( "<\/div>" );
	document.write( "<\/form>" );
	//document.write( "<\/div>" );
	//document.write( "<\/div>" );
}