Display:

17

Source:


<apply>
     <in/>
     <cn type="integer">17</cn>
     <primes/>
</apply>