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