function changePic (id, pic) {
	window.document.getElementById(id).src = pic;
}