if (document.layers)
{ ns = 1; ie = 0; }
else
{ ns = 0; ie = 1; }

var i = 1;
var schicht = "layer";
function zeigeEbeneNr(ebene_nr)
{ verbergen(eval('"' + schicht + i +'"'));
  zeigen(eval('"' + schicht + ebene_nr +'"'));
  i = ebene_nr; }

function zeigen(name)
{ if (ns)
  { document.layers[''+name].visibility = "show"; }
  else
  { document.all[''+name].style.visibility = "visible"; } }

function verbergen(name)
{ if (ns)
  { document.layers[''+name].visibility = "hide"; }
  else
  { document.all[''+name].style.visibility = "hidden"; } }

function mail()
{ kissner = "mailto:kissnerh@theater-index.de?subject=Feedback Theaterindex";
  location.href=kissner; }

function guest()
{ top.location.href = "guestf.htm"; }

function ind()
{ top.location.href = "../index.htm"; }