9,237 coins