9,113 coins