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