723,750 coins