9,420 coins