bild11 = "bilder/home-1.gif";
bild21 = "bilder/home-2.gif";
bild12 = "bilder/mail-1.gif";
bild22 = "bilder/mail-2.gif";
bild13 = "bilder/kartenvorbestellung-1.gif";
bild23 = "bilder/kartenvorbestellung-2.gif";
bild14 = "bilder/stadtplan-1.gif";
bild24 = "bilder/stadtplan-2.gif";

function rein(nr)
{ eval("document.images.bild" + nr + ".src = bild2" + nr); }

function raus(nr)
{ eval("document.images.bild" + nr + ".src = bild1" + nr); }