function jumplist(it) {
    var dest = it.options[it.selectedIndex].value;
    if (dest == "nowhere") {
    it.selectedIndex = 0;
    } else {
        location.href = dest;
    }
    }