var ieversion = 10;


   if (/MSIE (\d+\.\d+);/.test(navigator.userAgent)) {
        var ieversion = new Number(RegExp.$1);
    } 

function s(what) {
        what.className = "menu_show";
        if (ieversion < 7) {
            document.getElementById("quick_finder").style.visibility = "hidden";
        }
    }


    function c(what) {
        what.className = "menu_hide";
        if (ieversion < 7) {
            document.getElementById("quick_finder").style.visibility = "visible";
        }
    }