#!/usr/bin/env python

import sys,string

file=open(sys.argv[1],"r")

while 1:
    line=""
    while line=="" or line=="\n" or line[0:1]==";":
        line=file.readline()
        if line=="":
            file.close()
            sys.exit(0)
    line=string.replace(line[:-1],'\\','\\\\')
    sys.stdout.write('"'+string.replace(line,'"','\\"')+'\\n"\n')