var langMenu = new Object()

langMenu.menuDiv    = null;
langMenu.closeTimer = null;

langMenu.open = function langMenu_open() {
  langMenu.menuDiv = document.getElementById("langmenuDiv");
  langMenu.cancelCloseTime();
  langMenu.menuDiv.style.visibility = "visible";
};

langMenu.closeTime = function langMenu_closeTime() {
  langMenu.closeTimer = window.setTimeout(langMenu.close, 300);
};

langMenu.cancelCloseTime = function langMenu_cancelCloseTime() {
  if(langMenu.closeTimer) {
    window.clearTimeout(langMenu.closeTimer);
    langMenu.closeTimer = null;
  };
};

langMenu.close = function langMenu_close() {
  langMenu.menuDiv.style.visibility = "hidden";
};