<!--
function jump(sel) {
  if (sel.options[sel.selectedIndex].value) {
    top.openright.location.href = sel.options[sel.selectedIndex].value;
  }
}
// -->