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