function ertgo(selId){
// go to selected option. used by ert_menu jumpbox routine
        var url=selId.options[selId.selectedIndex].value;
        if(url == "disabled") { window.alert('No database selected');
        } else { location.href=url; }
        return false;
}