function jumpTo(f){
	window.location=f.value;
}