var langmenu = document.getElementById("langmenu");
var langmenu1 = document.getElementById("langmenu1");
langmenu1.onmouseover = langmenu.onmouseover = function() {
	langmenu1.style.visibility = 'visible';
    };
langmenu.onmouseout = langmenu1.onmouseout = function() {
	langmenu1.style.visibility = 'hidden';
    };
