var search_box_clicked = false;

function toggle_search_box() {
    if (search_box_clicked) {
        return;
    } else {
        document.getElementById('search_box').value = "";
        search_box_clicked = true;
    }
}