function openprint(url){
	window.print();
	return false;
}

function onfocussuche(object_focus,obj_text){
	if(object_focus.value==obj_text) object_focus.value='';
}

function autorenchange(object_focus){
	if(object_focus.value!=''){
		window.location.href=object_focus.value;
	}
}