/* wechselbild */

function wechselbild (imgNum, imgSrc)

                     {
                     document.images[imgNum].src = imgSrc;
                     }