var used = 0;

function del_search() {
    if (!used) {
        document.getElementById("search_text").value = "";
        used = 1;
    }
}