// JavaScript Document

function jump(mymenu) {
window.location.href=mymenu.value;
}