// JavaScript Document

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