#include <stdio.h>
#define MAX 1000

int main (){
    char buffer[MAX];
    FILE *fp = fopen("file.txt", "w");
    int i;

    while (1){
        scanf("%s", &buffer);
        printf("%s", buffer);
        fputs(buffer, fp);
    }

    fclose(fp);
    return 0;
}