var click = 0;
var hide = 0;

function del_search() {
    var text = document.getElementById("search_text"); 
 
    if (click == 0) {
        text.setAttribute("value", "");
    }
    click++;
}

function show_lang() {
    el = document.getElementById("more_lang");
    el.style.display = "block";
}

function hide_lang() {
    setTimeout("reallyhide_lang();", 250);
}

function reallyhide_lang() {
    if (hide == 0) {
        el = document.getElementById("more_lang");
        el.style.display = "none";
    }
}

function set_hide(num) {
  hide = num;
}