Added fileinput.input().