function markButton(sdr, dest_name) {
  if (sdr != null) {
    sdr.src = 'img/'+dest_name;
    return true;
  }
  return false;
}