var target = "";
function jump(){
var query =
document.form1.query.value;
var uri =
document.form1.select.options[document.form1.select.selectedIndex].value;
var url =
uri +"?query="+query+"&whence=0&max=10&result=normal&score=score&lang=ja_JP.eucJP";
        if(url != "" ){
                if(target != ""){
                        eval('parent.' + target + '.location.href = url');
                        }
                else{
                        location.href = url;
                }
        }
}