3,542 coins