function langmenu() {
  with(document) {
    if(getElementById("lang-selector").style.display == 'block') getElementById("lang-selector").style.display = 'none'; else getElementById("lang-selector").style.display = 'block';
  }
}