742,500 coins