11,838 coins