1,138,742 coins