9,102 coins