11,717 coins