9,542 coins