11,733 coins