function set_tab_image(id,new_src){
  var img = document.getElementById(id);
  img.src = new_src;
}