3,800 coins