9,139 coins