25,274,820 coins