>>700
(ﾟДﾟ)ﾉ ｧｨ
#include<stdio.h>
int main(void){
float x;
int k;
char name[3];
FILE *rp,*wp;
rp = fopen("text.dat","r");
wp = fopen("enn.dat","w");
while(fscanf(rp,"%s%d%f",&name,&k,&x)!=EOF)
fprintf(wp,"%s %d\n",name,(int)(x*k*114+0.5));
fclose(rp);
fclose(wp);
return 0;
}