9,667 coins