function clear_input() { document.getElementById("searchinput").value = ""; }