function changeImage(filename){ document.mainImage.src = filename; }