9,174 coins