<!--
var viewmenu = 0;

function viewlanguagesubmenu() {
  var d = document.getElementById('languagesubmenu');
  if (d) {
    d.style.display='block';
    viewmenu = -1;
    checkhidelanguagesubmenu();
  }
}

function checkhidelanguagesubmenu(){
  viewmenu ++;
  if (viewmenu>2) {
    $("languagesubmenu").pa();
  } else {
    window.setTimeout("checkhidelanguagesubmenu()", 1000)
  }
}

function refreshlanguagesubmenu(){
  viewmenu = -1;
}
// -->
