11,888 coins