function showLanguageMenu(show) {
 var menu = document.getElementById('LanguageMenu');

 if (menu) {
  if (show) {
   menu.style.display = 'block';
  }
  else {
   menu.style.display = 'none';
  }
 }
}