6,400 coins