<!--
function changeImages(whichID,whichImage) {
	document.getElementById(whichID).src=whichImage;
}
// -->