3,883,293 coins