var languageMenuHideDelay = 200;
    var languageTimerId = -1;
    
    function showLanguageMenu()
    {
        clearLanguageMenuTimer();
        var tmp_oMenu = document.getElementById("floatinglanguagemenu");
        tmp_oMenu.style.display = "block";
    }
    
    function hideLanguageMenu()
    {
        var tmp_oMenu = document.getElementById("floatinglanguagemenu");
        tmp_oMenu.style.display = "none";        
    }
    
    function clearLanguageMenuTimer()
    {
        if (languageTimerId >= 0) clearTimeout(languageTimerId);
        languageTimerId = -1;
    }
    
    function startLanguageMenuHideTimer()
    {
        languageTimerId = setTimeout("hideLanguageMenu()", languageMenuHideDelay);
    }

    function languageitem_mouseover()
    {
        showLanguageMenu();
    }

    function languageitem_mouseout()
    {
        startLanguageMenuHideTimer();
    }
    
    function floatinglanguagemenu_mouseover()
    {
        showLanguageMenu();
    }
    
    function floatinglanguagemenu_mouseout()
    {
        startLanguageMenuHideTimer();
    }