function cleartext() { document.getElementById('search_input').value=""; }