ファイル名前変更 Python

現在ディレクトリを読んでファイル名を変更するプログラム。
f[4:]という書き方が面白い。