function form_submit() { document.form_ricerca.submit(); }