function update_selection_search(){var a=document.getElementById('selection_form');a.submit();disable_all_form_elements();}