if(top.frames.length > 0)
  top.location.href=self.location;

var akt_selection  = -1;
var rundgang_aktiv = 0;

//-------------------------------------
function rundgang_start () {
  rundgang_aktiv = 1;
}

//-------------------------------------
function rundgang_ende (alrt) {
  if (alrt != "NO"  &&  rundgang_aktiv == 1)
    alert ("Sie haben den Rundgang beendet und können sich nun selbständig umschauen.");
  rundgang_aktiv = 0;
}

//-------------------------------------
function rg_button (ref) {
  if (rundgang_aktiv == 1)
    window.main.document.write ("<div align=right><a href=\"" + ref + "\"><img SRC=\"img/laufen.GIF\" ALT=\"zur nächsten Station des Rundgangs ...\" HSPACE=5 VSPACE=5 BORDER=0 height=50 width=50></a></div>");
  else
    window.main.document.write ("<p>");
}

//-------------------------------------
function highlight(nr) {
  if (window.menu.document.images[nr]) {
    if (nr == akt_selection)
      window.menu.document.images[nr].src = "img/bul_smo.gif";
    else
      window.menu.document.images[nr].src = "img/bul_mo.gif";
  }
}

//-------------------------------------
function normal(nr) {
  if (window.menu.document.images[nr]) {
    if (nr == akt_selection)
      window.menu.document.images[nr].src = "img/bul_s.gif";
    else
      window.menu.document.images[nr].src = "img/bul_blnk.gif";
  }
}

//-------------------------------------
function select(nr) {
  if (akt_selection > 0  &&  window.menu.document.images[akt_selection])
    window.menu.document.images[akt_selection].src = "img/bul_blnk.gif";

  akt_selection = nr;
  if (akt_selection > 0  &&  window.menu.document.images[akt_selection])
    window.menu.document.images[akt_selection].src = "img/bul_s.gif";
}

//-------------------------------------
function ix_select(nr) {
  rundgang_ende();
  select(nr);
}