9,440 coins