: "\x23fe\X23F3"