function button_swap ( imgSRC,imgID ) {
  if ( document.images ) { document.getElementById(imgID).src = imgSRC; }
}