function navbox__onChange() {
var v = navbox.getSelectedValue();
if (v.length > 1) // one char is a noop
  window.location.href = v;
 }
function _navbox__onChange() { if (navbox) return navbox.onChange(); }