// JavaScript Document
function wechsel(bild, dateiName) {
 bild.src=dateiName;
}