function menu_jump(path) { window.location.href = path.options[path.selectedIndex].value }