Edit File: fileinput.py