9,425 coins