<!--
window.jump=function(ziel,fenster) {
	window.location.href = ziel;
	return true;
}
//-->