var flag_no_javascript = false;
function test_value(val) {
	
	if (val == undefined) {
		val = '';
	} else {
		val = trim(val);
	}
	return val;
}
  function ltrim ( s )
  {
      return s.replace( /^\s*/, "" );
  }

  function rtrim ( s2 )
  {
      return s2.replace( /\s*$/, "" );
  }

  function trim ( s )
  {
      return rtrim(ltrim(s));
  }

function submit_f( form, form_name) {
	

	form_name = test_value(form_name);
	
	if (form == '') {
		form = document.action_form;
	} 
	if (form_name == '') {
		form_name = 'action_form';
	}
	if (!flag_no_javascript) {
		var flag = test_f(form, form_name);
	} else {
		var flag = true;
	}
	
	if (flag) {
		form.submit();
	}	
	return false;
}