给定一个长度为N(0< n< =10000)的序列，保证每一个序列中的数字a[i]是小于maxlongint的非负整数  ，编程要求求出整个序列中第k大的数字减去第k小的数字的值m，并判断m是否为质数。(0< k< =n)

输入格式：第一行为2个数n，k（含义如上题）第二行为n个数，表示这个序列

输出格式：如果m为质数则第一行为'YES'(没有引号）第二行为这个数m 否则  第一行为'NO' 第二行为这个数m