You can also just set dataset[0] on the raw element:
document.getElementById('myProgrecss').dataset.progrecss = '<PERCENT>';
[0]: https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement...