function changeImages(buttonID, buttonSrc) {
	document.getElementById(buttonID).src = buttonSrc;
}