879,712 coins