function sprung()
{
	//alert(document.URL+"#"+document.sprungauswahl.liste.options[document.sprungauswahl.liste.selectedIndex].value);
	document.location=document.URL+"#"+document.sprungauswahl.liste.options[document.sprungauswahl.liste.selectedIndex].value
}