code: function updateReceiver(receiverSignature, raddec) {
    let tr = document.getElementById(receiverSignature);
    let tds = tr.getElementsByTagName('td');
    tds[2].textContent = new Date(raddec.timestamp).toLocaleTimeString();
  
    updateVisibility(tr, [ tds[0].textContent ]);
  }
docs: Update an existing raddec in the DOM