// JavaScript quicksearch
function show() { $("#lang_down").toggle(); }
function showLang() { $("#lang_down").show(); }
function hideLang() { $("#lang_down").hide(); }