function search(){
 document.getElementById("search").submit();
 /*
  var query = document.getElementById("query").value;
  var url;
  if (query != ""){
    alert(query);
    url = "search-" + encodeURIComponent(query) + ".html"
  }
  else {
    url = "search.html";
  }
  document.location.href = url;
  */
}