let err = document.getElementById('error');
err.textContent = 'Error retrieving clipboard contents';
err.classList.remove('hidden');
}
let err = document.getElementById('error');
err.textContent = 'Error retrieving clipboard contents';
err.classList.remove('hidden');
}