8,251 coins