function add_f_region_num_event_handlers() {

            for (i = 0; i < document.forms.length; i++) {

                        if (document.forms[i].name== "f_region_num") {

                                    document.forms[i].onsubmit = function() { f_region_num_onSubmit(this); return false; }

                        }

            }

}

function f_region_num_onSubmit(elem) {

            document.location = elem.elements['s_region_num'].value;

}

// Safely adds to the document's onLoad event.
function addLoadEvent(func) {
  var oldonload = window.onload;
  if (typeof window.onload != 'function') {
    window.onload = func;
  } else {
    window.onload = function() {
      oldonload();
      func();
    }
  }
}
 

addLoadEvent(add_f_region_num_event_handlers);