function changeImage(newImg) {
	document.getElementById("mainimage").src = "gallery/" + newImg + "big.jpg";
}