function jump(ref) { if(ref.value != '') window.location.href = ref.value; }