use stdin for input