function changeImage(src) {
	var image1 = document.getElementById("image1");
	image1.src = src;
}