Решение задачи File 42

# -*- coding: utf-8 -*-
import random
import sys
import os

file1 = "file42_1.txt"
file2 = "file42_2.txt"

try:
    temp_file = "temp42.bin"
    os.rename(file1, temp_file)
    os.rename(file2, file1)
    os.rename(temp_file, file2)

except:
    print("Error: ", sys.exc_info())
									

program File42;
var
 Name1,Name2:String;
 F_1,F_2: File;
begin
  Write('File1: ');
  Readln(Name1);
  Assign(F_1,Name1);
  Write('File2: ');
  Readln(Name2);
  Assign(F_2,Name2);
  Rename(F_1,'~'+Name1);
  Rename(F_2,Name1);
  Rename(F_1,Name2);
end.