python input sys.stdin.readline