9,465 coins