17,158 coins