function switchPic(pic) {
	document.getElementById("bigPic").src = pic;
}