// JavaScript Document

function change_image(image_name, image_src) {
    if (document.images) {
        document.images[image_name].src = image_src;
    }
}