//formmenu

function springen(URL) {
if(URL=="") {
	document.menuform.reset();
	document.menuform.wohin.blur();
	return;
	}
else {
	document.location.href = URL
	document.menuform.reset();
	document.menuform.wohin.blur();
	}
}