3,717 coins