# file_rename.py

# file_rename.py

import os

os.rename("input.txt", "output.txt")
os.rename("docs", "mydocs") ### includes every extensions