已知数据文件IN23.DAT中存有200个4位数，并已调用读函数readDat()把

问题：

已知数据文件IN23.DAT中存有200个4位数，并已调用读函数readDat()把这些数存入数组a中。请编制函数JsVal()，其功能是：依次从数组a中取出一个4位数，如果4位数连续大于该4位数以前的5个数且该数是奇数，该数必须能被7整除，则统计出满足此条件的数的个数cnt，并把这些4位数按从大到小的顺序存入数组b中，最后调用写函数writeDat()把结果cnt及数组b中符合条件的4位数输出到OUT23.DAT文件中。
注意：部分源程序已给出。
程序中已定义数组：a[200]，b[200]，已定义变量：cnt。
请勿改动主函数main()、读函数readDat()和写函数writeDat()的内容。
试题程序：
#include 〈stdio.h>
#define MAX 200
int a[MAX], b[MAX], cnt = 0; void jsVal()

void readDat ()

int i;
FILE *fp;
fp = fopen("IN23.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", b[i] );
printf("\n");
writeDat ();
writeDat ()

FILE *fp;
int i;
fp = fopen("OUT23.DAT", "w");
fprintf(fp, "%d\n", cnt);
for(i=0; i〈cnt; i++)
fprintf(fp, "%d\n", b[i]);
fclose (fp);