4,251 coins