Code Editor : fileinput.py

//