[r721]

Yeah, Russian Wikipedia says "Petrov" is in top 10 of most frequent Russian surnames (3rd in one list, and 10th in another):

https://ru.wikipedia.org/wiki/%D0%9F%D0%B5%D1%82%D1%80%D0%BE...