function changeImage(ctl, img) {document.getElementById(ctl).src = img;}