3,133 coins