6,200 coins