function jump(url) {
	if (url == undefined) {
		alert ("Bitte geben Sie immer eine Url an.");		
	}
	else {
		document.location.href = url;
	}

}