function submitForm()
{
  document.forms.the_form.submit();
}