function search() {
  document.form.submit();
}