#include<stdio.h> 

main() 

{FILE *fp;int k,n,a[6]={1,2,3,4,5,6}; 

fp=fopen("d2.dat","w"); 

fprintf(fp,"%d%d%d\n",