function dummy()
{
  alert("Funktion " +
        "noch nicht implementiert")
}

function do_nothing()
{
  return true
}

function dynamische_schaltflaeche()
{
  this.normal    = do_nothing
  this.aktiv     = do_nothing
  this.gedrueckt = do_nothing

  return this
}

function normal()
{
  document[this.bild].src = this.bild_normal.src
  return true
}

// Bild mit Status "aktiv" zeigen
function aktiv()
{
  document[this.bild].src = this.bild_aktiv.src
  return true
}

// Bild mit Status "gedrueckt" zeigen
function gedrueckt()
{
  if(!this.bild_gedrueckt)
    return true
  document[this.bild].src = this.bild_gedrueckt.src
  return true
}

// Objekt "Dynamische Schaltflaeche"
function dynamische_schaltflaeche(bildname,
                                  dateiname_normal,
                                  dateiname_aktiv,
                                  dateiname_gedrueckt)
{
  this.bild = bildname

  this.bild_normal     = new Image()
  this.bild_normal.src = dateiname_normal
  this.bild_aktiv      = new Image()
  this.bild_aktiv.src  = dateiname_aktiv
  if(dateiname_gedrueckt)
  {
    this.bild_gedrueckt     = new Image()
    this.bild_gedrueckt.src = dateiname_gedrueckt
  }
  this.normal    = normal
  this.aktiv     = aktiv
  this.gedrueckt = gedrueckt

  return this
}

ObjButton0 = new dynamische_schaltflaeche("Button0",
                                          "ba0.gif",
                                          "b0.gif",
                                          "bg0.gif")
ObjButton1 = new dynamische_schaltflaeche("Button1",
                                          "ba1.gif",
                                          "b1.gif",
                                          "bg1.gif")
ObjButton2 = new dynamische_schaltflaeche("Button2",
                                          "ba2.gif",
                                          "b2.gif",
                                          "bg2.gif")
ObjButton3 = new dynamische_schaltflaeche("Button3",
                                          "ba3.gif",
                                          "b3.gif",
                                          "bg3.gif")
ObjButton4 = new dynamische_schaltflaeche("Button4",
                                          "ba4.gif",
                                          "b4.gif",
                                          "bg4.gif")
ObjButton5 = new dynamische_schaltflaeche("Button5",
                                          "ba5.gif",
                                          "b5.gif",
                                          "bg5.gif")
ObjButton6 = new dynamische_schaltflaeche("Button6",
                                          "ba6.gif",
                                          "b6.gif",
                                          "bg6.gif")
ObjButton7 = new dynamische_schaltflaeche("Button7",
                                          "ba7.gif",
                                          "b7.gif",
                                          "bg7.gif")
ObjButton8 = new dynamische_schaltflaeche("Button8",
                                          "ba8.gif",
                                          "b8.gif",
                                          "bg8.gif")
ObjButton9 = new dynamische_schaltflaeche("Button9",
                                          "ba9.gif",
                                          "b9.gif",
                                          "bg9.gif")
ObjButton10 = new dynamische_schaltflaeche("Button10",
                                          "ba10.gif",
                                          "b10.gif",
                                          "bg10.gif")
ObjButton11 = new dynamische_schaltflaeche("Button11",
                                          "ba11.gif",
                                          "b11.gif",
                                          "bg11.gif")
ObjButton12 = new dynamische_schaltflaeche("Button12",
                                          "ba12.gif",
                                          "b12.gif",
                                          "bg12.gif")
ObjButton13 = new dynamische_schaltflaeche("Button13",
                                          "ba13.gif",
                                          "b13.gif",
                                          "bg13.gif")
ObjButton14 = new dynamische_schaltflaeche("Button14",
                                          "ba14.gif",
                                          "b14.gif",
                                          "bg14.gif")
ObjButton15 = new dynamische_schaltflaeche("Button15",
                                          "ba15.gif",
                                          "b15.gif",
                                          "bg15.gif")
ObjButton16 = new dynamische_schaltflaeche("Button16",
                                          "ba16.gif",
                                          "b16.gif",
                                          "bg16.gif")
ObjButton17 = new dynamische_schaltflaeche("Button17",
                                          "ba17.gif",
                                          "b17.gif",
                                          "bg17.gif")
ObjButton18 = new dynamische_schaltflaeche("Button18",
                                          "ba18.gif",
                                          "b18.gif",
                                          "bg18.gif")