function text_aendern(layer_name,layer_text){
	window.document.getElementById(layer_name).innerHTML=layer_text;
}