11,873 coins