var bildwechsel


function bildwechsel (nummer)

{
window.document.images.src = nummer.src
}