function buttonnav(Bildnr,Bildobjekt) {
 if (haltbuttonnav != Bildnr) {
   window.document.images[Bildnr].src = Bildobjekt.src;
 }
}

function buttonhold(Bildnr,Bildobjekt,UrBildObjekt) {
if (haltbuttonnav > -1) {
  window.document.images[haltbuttonnav].src = ursprungsbild.src;
}
haltbuttonnav = Bildnr;
ursprungsbild = UrBildObjekt;
window.document.images[Bildnr].src = Bildobjekt.src;
}

function buttonsubnav(Bildnr,Bildobjekt) {
 if (haltbuttonsubnav != Bildnr) {
   window.document.images[Bildnr].src = Bildobjekt.src;
 }
}

function buttonsubhold(Bildnr,Bildobjekt,UrBildObjekt) {
if (haltbuttonsubnav > -1) {
  window.document.images[haltbuttonsubnav].src = ursprungsbild.src;
}
haltbuttonsubnav = Bildnr;
ursprungsbild = UrBildObjekt;
window.document.images[Bildnr].src = Bildobjekt.src;
}