var cleared;

function clearsearch()
{
  if(!cleared){document.getElementById("searchinput").value = "";}
  cleared = 1;
}  

