function leeren(text){
	if (text.defaultValue == text.value) {
		text.value = "";
	}
}

function vergleichstabelle(go){
	window.open('/jump/' + go + '/');
}
function href(link) {window.location = link;}