13,251 coins