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

function write_into_html(wert){
	
	document.write(wert);
	
}