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