19,133 coins