function submit() {
  document.getElementById("searchform").submit();
}