'import sys,os,re
def decode(t):
    s = t.encode('\''utf-8'\'')
    for octc in re.findall(r'\''\\(\d{3})'\'', s):
        s = s.replace(r'\''\%s'\'' % octc, chr(int(octc, 8)))
    return s

print decode(sys.argv[1])'