var langlist;

function langlistAppear(){

            insideLang = true;

            document.getElementById("langlist").style.display="block";

            window.clearTimeout(langlist);

}

 

function langlistDisappearStart(){

            insideLang = false;

            langlist = window.setTimeout("langlistDisappear()",300);

}

 

function langlistDisappear(){

            if(!insideLang){

                        document.getElementById("langlist").style.display="none";

            }

}

 

function changeFlag(whichFlag){

            document.getElementById("langselectflag").style.backgroundImage='url(/images/languages/'+whichFlag+')';

}