125 coins if 88% of the coins he collected were​ foreign, how many other coins
did he​ collect?