ebene = new Array("","","","");
aktiv="";
aktion=0;

function show_ebene(name,x) {
  aktion=1;
  i=x
  while(ebene[i]!="" && ebene[i]!=name && i<=3) {
      document.getElementById(ebene[i]).style.visibility='hidden';
	  i=i+1;
  }
  document.getElementById(name).style.visibility="visible";
  ebene[x]=name;
}


function stop_timeout() {
  aktion=1;
}

function hide_all() {
  aktion=0;
  aktiv=window.setTimeout("verstecken()", 500);
}

function verstecken() {
  for(i=0;i<=3;i++) {
    if(ebene[i]!="" && aktion==0) document.getElementById(ebene[i]).style.visibility='hidden';
  }
}