https://squeezeboxradiologitechmusicplayer.blogspot.com/2023/07/js-replace-digits-with-regular.html