function submit_form(){
document.form.submit();
}