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