"output.txt" was output filename