8,425 coins