9,024 coins