var aktiv=0;

function init(nr){
  document.getElementById('nv'+String(nr)).style.color="#FFFFFF";
}

function zeigeKarte(anz){
  document.getElementById('karte0').style.visibility=(anz==true)?'visible':'hidden';
  document.getElementById('karte1').style.visibility=(anz==true)?'visible':'hidden';
}