print encode_entitites("a\x9B\x{263A}");