13,243 coins