function navbox__onChange() {

var v = navbox.getSelectedValue();

if (v.length > 1) // one char is a noop

  window.parent.main.location.href = v;

 }

function _navbox__onChange() { if (navbox) return navbox.onChange(); }