According to Cryptology, 19.378 million coins have been mined so far, some of which have been lost forever.