4,251,746 coins