// General Site-wide javascript library

// Form submission

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