function ud_jump(sel) {
  if (sel.options[sel.selectedIndex].value) {
    window.self.location.href = sel.options[sel.selectedIndex].value;
  }
}