// JScript File

    function show()
    {
        var div = document.getElementById("div_menu");
        if(div) div.style.visibility = "visible";
    }
    function hidden(h, e)
    {
        var h_save = h;
        var div = document.getElementById("div_menu");
        var div_save = div;
        
        var hWidth = h.offsetWidth;
        var hHeight = h.offsetHeight;
    
        var hX = 0;
        var hY = 0;

        while (h)
        {
            hX += h.offsetLeft;
            hY += h.offsetTop;
            h = h.offsetParent;
        }
        
        if (e.pageX || e.pageY)
        {
            mouseX = e.pageX;
            mouseY = e.pageY;
        }
        else if (e.clientX || e.clientY)
        {
            mouseX = e.clientX + (document.documentElement.scrollLeft || document.body.scrollLeft) - document.documentElement.clientLeft;
            mouseY = e.clientY + (document.documentElement.scrollTop || document.body.scrollTop) - document.documentElement.clientTop;
        }
        
        var divX = 0;
        var divWidth = 0;
        
        if(div)
        {
            divWidth = div.offsetWidth;
            
            while (div)
            {
                divX += div.offsetLeft;
                div = div.offsetParent;
            }
        }
        
        if ( (hX + 1) > mouseX || mouseX > (hX + hWidth - 1) || mouseY < (hY + 1))
        {
            if(div_save) div_save.style.visibility = "hidden";
        }
    }
    function hidden_div(div, e)
    {
        var div_save = div;
        
        var divWidth = div.offsetWidth;
        var divHeight = div.offsetHeight;
        
        var divX = 0;
        var divY = 0;

        while (div)
        {
            divX += div.offsetLeft;
            divY += div.offsetTop;
            div = div.offsetParent;
        }

        if (e.pageX || e.pageY)
        {
            mouseX = e.pageX;
            mouseY = e.pageY;
        }
        else if (e.clientX || e.clientY)
        {
            mouseX = e.clientX + (document.documentElement.scrollLeft || document.body.scrollLeft) - document.documentElement.clientLeft;
            mouseY = e.clientY + (document.documentElement.scrollTop || document.body.scrollTop) - document.documentElement.clientTop;
        }
        
        if ( (divX + 1) > mouseX || mouseX > (divX + divWidth - 1) || (divY + 1) > mouseY || mouseY > (divY + divHeight - 1))
        {
            if(div_save) div_save.style.visibility = "hidden";
        }
    }