a=fabs(a);

int d=(int)(a/3600.0+0.0000001);

a=a-d*3600.0;

if(a<0.0){ d=d-1; a=a+3600.0; }

int m=(int)(a/60.0+0.0001);

a=a-m*60.0;

if(a<0.0){ m=m-1; a=a+60.0; }

a=d*10000.0+m*100.0+a;

return a*sign;

}

int main(int argc, char* argv[])

{ FILE *f1,*f2,*f3,*f4; //从文件中读取数据

f1=fopen("known.txt","r");

if (f1==NULL)

{ printf("cannot open this file\n");