9,800 coins