给定一个长度为N(0<n<=10000)的序列，保证每一个序列中的数字a[i]是小于maxlongint的非负整数，编程要求求出整个序列中第k大的数字减去第k小的数字的值m，并判断m是否为质数。(0<k<=n)。
说明：对于第K大的详细解释: 如果一个序列为1 2 2 2 2 3 。
第1大为3；第2大为2；第3大为2；第4大为2；第5大为1；
第K小与上例相反。
另外需要注意的是最小的质数是2,如果小于2的话,请直接输出” NO” 。
输入格式：第一行为两个用空格隔开的数n，k（含义如上题）；第二行为n个用空格隔开的非负整数，表示这个数字序列。
输出格式：输出分两行。若m为质数则第一行输出“YES”否则为“NO”；第二行为这个数m。