function submit_form(obj){document.getElementById(obj).submit();}