25,610,398 coins