#include <stdio.h>
#include <string.h>

#define MAX_NAME 40
int main() {
    char name[MAX_NAME+5];
    printf("Type name of program: ");
    scanf("%40s", name);
    strcat(name, ".txt");
    puts(name);
    return 0;
}