import os
import shutil
# Получаем список файлов в текущей директории
files = os.listdir()
# Находим файл с расширением .txt
for file in files:
if file.endswith(".txt"):
source_file = file
break
# Копируем найденный файл под именем 12.txt
shutil.copyfile(source_file, "12.txt")
# Переименовываем файл 12.txt в file12.txt
os.rename("12.txt", "file12.txt")