function toggleLang(lang) {
  var sel = lang;
  document.getElementById(sel).style.display=('block');
  document.getElementById('options_'+sel).style.display=('none'); }

function showLangs(lang) {
  var sel = lang;
  document.getElementById('options_'+sel).style.display=('block');
  document.getElementById('link_'+sel).className="show";
  document.getElementById('main_menuitem_5').style.visibility="hidden"; }

function hideLangs(lang) {
  var sel = lang;
  document.getElementById('options_'+sel).style.display=('none');
  document.getElementById('link_'+sel).className="no";
  document.getElementById('main_menuitem_5').style.visibility="visible"; }