// JavaScript Document
			<!--
			var old_value = 'pole';			
			var old_value_text = 'pole_t';
			
			function switch_menu(wert, wert_text)
			{
				 // Reiter umschalten
				 document.getElementById(old_value).style.display='none';
				 document.getElementById(wert).style.display='block';
				 // Bobble umtauschen				 
				 document.getElementById(old_value_text).className = 'menu_multibox';
				 document.getElementById(wert_text).className = 'selected';
				 
				 old_value = wert;				 
				 old_value_text = wert_text;
			}
			-->