function changeImage (image) {
document.images.mainPic.src=image;
}