function change_img(img_src) {
    var obj = document.getElementById("img4change");
    if (obj) {
        obj.src = img_src;
    }
}