已知数据文件IN12.DAT中存有300个四位数，并已调用读函数readDat()把这些数存入数组a中，请编制一个函数jsValue()，其功能是：求出个位数上的数减千位数上的数减百位数上的数减十位数上的数大于零的个数cnt，再把所有满足此条件的四位数依次存入数组b中．然后对数组b中的四位数按从大到小的顺序进行排序，最后调用写函数 writeDat()把数组b中的数输出到OUT12.DAT文件。
例如：1239,9-1-2-3＞0，则该数满足条件，存入数组b中，且个数cnt=cnt+1。
8129,9-8-1-2＜0，则该数不满足条件，忽略。
注意：部分源程序已给出。程序中已定义数组：a[300],b[300]；已定义变量：cnt。请勿改动主函数main()、读函数 readDat()和写函数writeDat()的内容。
[试题程序]
#include＜stdio.h＞
Int a[300],b[300],cnt=0；
void jsValue()


main()

int i；
readDat()；
jsValue()；
writeDat()；
for(i=0;i＜cnt;i++)printf("b[%d]=%d＼n",i,b[i])；

readDat()

FILE *fp；
int i：
fp=fopen("IN12.DAT","r")；
fori=0;i＜300;i++)fscanf(fp,"%d,",&a[i])；
fclose(fp)；

writeDat()

FILE *fp；
int i；
fp=fopen("OUT12.DAT","w")；
fprintf(fp,"%d＼n",cnt)；
for(i=0；i＜cnt；i++)fprintf(fp,"%d＼n",b[i])；
fclose(fp)；

下列现象：

A．漫天的大雾和晶莹的露珠；  

B．冰冻的衣服会变干；      

C．秋天的霜；

D．新鲜的蔬菜会慢慢干瘪；    

E．春天冰封的河流解冻了； 

F．出炉的钢水变成钢锭．

其中属于汽化现象的有 _________ ；属于液化现象的有 _________ ；属于熔化现象的有 _________ ；属于升华现象的有 _________ ；属于凝固现象的有 _________ ；属于凝华现象的有 _________ ．