function bildwechsel(bildname,pfad) {
 document.images[bildname].src = pfad;
}