874,677 coins