#include <stdio.h>
#define MAX 20
int main()
{
char line[MAX];
while (fgets(line, MAX, stdin) != NULL && line[0] != '\n')
{
fputs("result: ", stdout);
getchar();
getchar();
fputs(line, stdout);
}
{
char line[MAX];
while (fgets(line, MAX, stdin) != NULL && line[0] != '\n')
{
fputs("result: ", stdout);
getchar();
getchar();
fputs(line, stdout);
}
return 0;
}
}