function roll_over(img_name, img_src) {
            document[img_name].src = img_src;
        }