function change_src(obj_id, obj_src) {document.getElementById(obj_id).src=obj_src;}