leistungen = new Image();
leistungen.src = "images/leistungen_g.gif";
leistungenb = new Image();
leistungenb.src = "images/leistungen_b.gif";

galerie = new Image();
galerie.src = "images/galerie_g.gif";
galerieb = new Image();
galerieb.src = "images/galerie_b.gif";

firma = new Image();
firma.src = "images/firma_g.gif";
firmab = new Image();
firmab.src = "images/firma_b.gif";

infoat = new Image();
infoat.src = "images/infoatkreuzner.gif";     
infoatb = new Image();
infoatb.src = "images/infoatkreuzner_b.gif"; 

function Bildwechsel(Bildnr,Bildobjekt) {
 window.document.images[Bildnr].src = Bildobjekt.src;
}