/* function cleartext() {
  if(document.getElementById("edit-search").placeholder.trim()=="Search")
  { document.getElementById("edit-search").value=" ";}
}*/