In the 70s, previously the 80s, and I was quite concerned. But I looked up some information https://allthestuff.com/ideal-resting-heart-rate/ and on a few more other pages and learned that while there is an average normal, it would still depend on certain specific circumstances, like age, weight... so I try not to make a big deal out of it anymore so long as the doctor thinks it's okay.