已知数据文件IN56．DAT中存有200个4位数，并已调用读函数readDat()把这些数存入数组a中，请编制一函数jsVal()，其功能是：把千位数字和十位数字重新组合成一个新的十位数 (新十位数的十位数字是原4位数的千位数字，新十位数的个位数字是原4位数的十位数字)，以及把个位数和百位数组成另一个新的十位数(新十位数的十位数字是原4位数的个位数字，新十位数的个位数字是原4位数的百位数字)，如果新组成的两个十位数均为素数且新十位数字均不为零，则将满足此条件的4位数按从大到小的顺序存入数组b中，并要计算满足上述条件的4位数的个数cnt，最后调用写函数writeDat()把结果cnt及数组b中符合条件的4位数输出到OUT56．DAT文件中。 注意：部分源程序已给出。 已定义数组：a[200]，b[200]，已定义变量：cnt。 请勿改动主函数main()、读函数readDat()和写函数writeDat()的内容。 试题程序： include define MAX 200 int a[MAX]，b[MAX]，cnt=0； int isprime(int m) { int i； for(i=2；i＜=m/2；i++) if(m%i==0) return 0； return 1； } void isval() { } void readDat( ) { int i； FILE *fp； fp=fopen('IN56．DAT'，'r')； for(i=0；i＜MAX；i++) fscanf(fp，'%d'，&a[i])； fclose(fp)； } main() { int i； readDat()； jsVal()； printf('满足条件的数=%d/n'，cnt)； for(i=0；i＜cnt；i++) printf('%d/n'，b[i])； printf('/n')； writeDat()； } writeDat() { FILE *fp; int i; fp=fopen('OUT56.DAT','w'); fprintf(fp,'%d/n',cnt); for(i=0;i＜cnt;i++) fprintf(fp, '%d/n',b[i]); fclose(fp); }