function cleartext() { document.searchfrm.query_string.value = "" }