function roll_over(ctrl, img_src) {
               ctrl.src = img_src;
            }