<!--
function Jump() {
  tu = document.f.elements['jumpto'].options[document.f.elements['jumpto'].selectedIndex].value
  if( tu != '-' ) {
    location.href = tu;
  }

}
// -->