function set_image_src(id,source){document.getElementById(id).src=source;}