// selection box: goto specified page
function gotopage(selection) {
	var page = selection.options[selection.selectedIndex].value;
	var posMarker = page.indexOf("#");
	var marker = "";
	var prefix = "";
	if ((document.location.href.indexOf("/meldungen/")>0) ||
		 (document.location.href.indexOf("/karate/")>0) ||
		 (document.location.href.indexOf("/trampolin/")>0))
		prefix = "../";
	if (posMarker>=0)	{
		marker = page.substr(posMarker);
		page = page.substr(0, posMarker);
	}
   if (page!="nopage") {
   	var ending = ".html";
   	if (page=="gaestebuch")
   		ending = ".asp";
		window.location = prefix + page + ending + marker;
	}
}