function submitForm(theForm) {
    document.search_form.submit();
}