| 33999 | 'OFF', |
| 34000 | ], |
| 34001 | Xr = /^[-+]?[0-9_]+(?::[0-9_]+)+(?:\.[0-9_]*)?$/ |
| 34002 | function encodeHex(s) { |
| 34003 | var o, i, a |
| 34004 | if (((o = s.toString(16).toUpperCase()), s <= 255)) ((i = 'x'), (a = 2)) |
| 34005 | else if (s <= 65535) ((i = 'u'), (a = 4)) |
| 34006 | else { |
| 34007 | if (!(s <= 4294967295)) |
| 34008 | throw new tr('code point within a string may not be greater than 0xFFFFFFFF') |
| 34009 | ;((i = 'U'), (a = 8)) |
| 34010 | } |
| 34011 | return '\\' + i + er.repeat('0', a - o.length) + o |
| 34012 | } |
| 34013 | function State(s) { |
| 34014 | ;((this.schema = s.schema || Mr), |