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