function make_search( host_root_url, language ){
  var query = document.getElementById("search_query").value;
  var form  = document.getElementById("search_form");
  var url   = "";
  if ( query != "" ){
    url = host_root_url + "/" + language + "/search/" + query + "/";
    form.action = url;
    form.submit();
    return true;
  }
  else {
    return false;
  }
}