function set_option(option_name,value_name) {
 document.getElementById(option_name).value = value_name;
 document.refine_form.submit();
}