if len(line) < 1000:
                        f.write('    "' + line.strip().replace('"', '\\"') +