9,507 coins