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"; }

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