function loc(f){
	window.location.href=f;
	return;
}
function locKreis( ix ){
	var id = document.getElementById('selectKreis').options[ix].value;
	if(id>0)window.location.href='c3k'+id+'.html';
	return true;
}