//// [unicodeExtendedEscapesInStrings15_ES5.ts]
var x = "\u{abcd}\u{ef12}\u{3456}\u{7890}";
//// [unicodeExtendedEscapesInStrings15_ES5.js]
var x = "\uABCD\uEF12\u3456\u7890";