function do_submit(form_id)
{
  document.getElementById(form_id).submit();
}