7,158 coins