#include <stdio.h>

int main()
{
  FILE *fpi,*fpo;
  char s[20];
  int a,b,c;

  fpi=fopen("sdata.txt","r");
  fpo=fopen("odata2.txt","w");

  while(fscanf(fpi,"%s %d %d",s,&a,&b)!=EOF) {
    c=a*b;
    fprintf(stdout,"%s %d\n",s,c);
    fprintf(fpo,"%s %d\n",s,c);
  }

  return 0;
}