function set_button_src(img_ID, img_src)
{
  document.getElementById(img_ID).src = img_src;
}