function button(dateiname_normal, dateiname_aktiv){
  this.aktiv = new Image();
  this.normal = new Image();
  this.aktiv.src = dateiname_aktiv;
  this.normal.src = dateiname_normal;

}


var bilder = new Array ()

function initialisierung(){
  bilder["meinButton"]=new button("image/navi1n.jpg","image/navi1h.jpg");
      bilder["meinButton2"]=new button("image/navi2n.jpg","image/navi2h.jpg");


  bilder["meinButton3"]=new button("image/navi3n.jpg","image/navi3h.jpg");


  bilder["meinButton4"]=new button("image/navi4n.jpg","image/navi4h.jpg");


  bilder["meinButton5"]=new button("image/navi5n.jpg","image/navi5h.jpg");


  bilder["meinButton6"]=new button("image/navi6n.jpg","image/navi6h.jpg");


  bilder["meinButton7"]=new button("image/navi7n.jpg","image/navi7h.jpg");



}


function aktivbild(name){
  document.images[name].src=bilder[name].aktiv.src;
}


function normalbild(name){
  document.images[name].src=bilder[name].normal.src;
}