BEGIN { print getline < "file" ".txt" }