def decode_text(s):
if s.startswith(b'<STR_LIT>'):<EOL><INDENT>return unicode(s[<NUM_LIT:2>:], '<STR_LIT>', '<STR_LIT:ignore>')<EOL><DEDENT>else:<EOL><INDENT>return '<STR_LIT>'.join(PDFDocEncoding[ord(c)] for c in s)<EOL><DEDENT>
Decodes a PDFDocEncoding string to Unicode.