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