// Jump menu

function jumpMenu(targ, selObj, restore) {
    eval(targ + ".location='" + selObj.options[selObj.selectedIndex].value + "'");
    if (restore) selObj.selectedIndex = 0;
}

function jumpMenuGo(selName, targ, restore) {    
    var selObj = document.getElementById(selName); 
    if (selObj) jumpMenu(targ, selObj, restore);
}