9,464 coins