function showStyleswitcher()
{
	document.write( "<form action=\"switch\">" );
	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=\"Default\" title=\"Gestaltung f&uuml;r grafische Browser\">Normaler Style Sheet<\/option>" );
	document.write( "	<option value=\"Kontrast\" title=\"Kontrast\">Kontrast erhöhen<\/option>" );
	document.write( "	<option value=\"Kontrast2\" title=\"Kontrast2\">Kontrast erhöhen<\/option>" );
	document.write( "<\/select>" );
	document.write( "<\/form>" );
}

var newwin;
function fenster(welches,name,breite,hoehe)
{
	newwin = window.open(welches,name,"toolbar=no,location=no,directories=no,status=yes,menubar=no,scrollbars=no,resizable=no,width=" + breite + ",height="+hoehe);
}
var newwin2;
function fenster_scroll(welches,name,breite,hoehe)
{
	newwin2 = window.open(welches,name,"toolbar=no,location=no,directories=no,status=yes,menubar=no,scrollbars=yes,resizable=no,width=" + breite + ",height="+hoehe);
}


var newwin3;
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}