How many Ravencoin have been mined?

There are 21 million tokens in total, and because it is a fairly young project, only slightly more than 7 million have been mined, which is 34%.