function ClearForm() {
  var myForm = document.getElementById('searchform');
  myForm.search_string.value= "";
}