function imgChange(imgName, imgfile) {
    if (document.getElementById(imgName)) {
        document.getElementById(imgName).src = imgfile;
    }
}