| 
									
										
										
										
											2018-02-28 10:41:49 +00:00
										 |  |  | function keys(o/*:any*/)/*:Array<any>*/ { | 
					
						
							|  |  |  | 	var ks = Object.keys(o), o2 = []; | 
					
						
							| 
									
										
										
										
											2020-03-15 07:42:05 +00:00
										 |  |  | 	for(var i = 0; i < ks.length; ++i) if(Object.prototype.hasOwnProperty.call(o, ks[i])) o2.push(ks[i]); | 
					
						
							| 
									
										
										
										
											2018-02-28 10:41:49 +00:00
										 |  |  | 	return o2; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2014-05-16 00:33:34 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-02-10 19:23:01 +00:00
										 |  |  | function evert_key(obj/*:any*/, key/*:string*/)/*:EvertType*/ { | 
					
						
							|  |  |  | 	var o = ([]/*:any*/), K = keys(obj); | 
					
						
							| 
									
										
										
										
											2018-02-14 20:06:35 +00:00
										 |  |  | 	for(var i = 0; i !== K.length; ++i) if(o[obj[K[i]][key]] == null) o[obj[K[i]][key]] = K[i]; | 
					
						
							| 
									
										
										
										
											2014-06-29 18:29:45 +00:00
										 |  |  | 	return o; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-02-10 19:23:01 +00:00
										 |  |  | function evert(obj/*:any*/)/*:EvertType*/ { | 
					
						
							|  |  |  | 	var o = ([]/*:any*/), K = keys(obj); | 
					
						
							| 
									
										
										
										
											2014-06-29 18:29:45 +00:00
										 |  |  | 	for(var i = 0; i !== K.length; ++i) o[obj[K[i]]] = K[i]; | 
					
						
							|  |  |  | 	return o; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-02-10 19:23:01 +00:00
										 |  |  | function evert_num(obj/*:any*/)/*:EvertNumType*/ { | 
					
						
							|  |  |  | 	var o = ([]/*:any*/), K = keys(obj); | 
					
						
							| 
									
										
										
										
											2014-06-29 18:29:45 +00:00
										 |  |  | 	for(var i = 0; i !== K.length; ++i) o[obj[K[i]]] = parseInt(K[i],10); | 
					
						
							|  |  |  | 	return o; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-02-10 19:23:01 +00:00
										 |  |  | function evert_arr(obj/*:any*/)/*:EvertArrType*/ { | 
					
						
							|  |  |  | 	var o/*:EvertArrType*/ = ([]/*:any*/), K = keys(obj); | 
					
						
							| 
									
										
										
										
											2014-06-29 18:29:45 +00:00
										 |  |  | 	for(var i = 0; i !== K.length; ++i) { | 
					
						
							|  |  |  | 		if(o[obj[K[i]]] == null) o[obj[K[i]]] = []; | 
					
						
							|  |  |  | 		o[obj[K[i]]].push(K[i]); | 
					
						
							|  |  |  | 	} | 
					
						
							| 
									
										
										
										
											2014-05-16 00:33:34 +00:00
										 |  |  | 	return o; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2014-05-22 12:16:51 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | var basedate = /*#__PURE__*/new Date(1899, 11, 30, 0, 0, 0); // 2209161600000
 | 
					
						
							| 
									
										
										
										
											2017-03-09 05:24:32 +00:00
										 |  |  | function datenum(v/*:Date*/, date1904/*:?boolean*/)/*:number*/ { | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | 	var epoch = /*#__PURE__*/v.getTime(); | 
					
						
							| 
									
										
										
										
											2017-08-05 06:32:57 +00:00
										 |  |  | 	if(date1904) epoch -= 1462*24*60*60*1000; | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | 	var dnthresh = /*#__PURE__*/basedate.getTime() + (/*#__PURE__*/v.getTimezoneOffset() - /*#__PURE__*/basedate.getTimezoneOffset()) * 60000; | 
					
						
							| 
									
										
										
										
											2017-06-01 21:22:11 +00:00
										 |  |  | 	return (epoch - dnthresh) / (24 * 60 * 60 * 1000); | 
					
						
							| 
									
										
										
										
											2014-06-29 18:29:45 +00:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | var refdate = /*#__PURE__*/new Date(); | 
					
						
							|  |  |  | var dnthresh = /*#__PURE__*/basedate.getTime() + (/*#__PURE__*/refdate.getTimezoneOffset() - /*#__PURE__*/basedate.getTimezoneOffset()) * 60000; | 
					
						
							|  |  |  | var refoffset = /*#__PURE__*/refdate.getTimezoneOffset(); | 
					
						
							| 
									
										
										
										
											2017-03-25 01:36:40 +00:00
										 |  |  | function numdate(v/*:number*/)/*:Date*/ { | 
					
						
							| 
									
										
										
										
											2017-06-01 21:22:11 +00:00
										 |  |  | 	var out = new Date(); | 
					
						
							|  |  |  | 	out.setTime(v * 24 * 60 * 60 * 1000 + dnthresh); | 
					
						
							| 
									
										
										
										
											2020-03-20 06:44:37 +00:00
										 |  |  | 	if (out.getTimezoneOffset() !== refoffset) { | 
					
						
							|  |  |  | 		out.setTime(out.getTime() + (out.getTimezoneOffset() - refoffset) * 60000); | 
					
						
							|  |  |  | 	} | 
					
						
							| 
									
										
										
										
											2017-06-01 21:22:11 +00:00
										 |  |  | 	return out; | 
					
						
							| 
									
										
										
										
											2017-03-25 01:36:40 +00:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2014-06-29 18:29:45 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-03-10 01:09:18 +00:00
										 |  |  | /* ISO 8601 Duration */ | 
					
						
							|  |  |  | function parse_isodur(s) { | 
					
						
							|  |  |  | 	var sec = 0, mt = 0, time = false; | 
					
						
							|  |  |  | 	var m = s.match(/P([0-9\.]+Y)?([0-9\.]+M)?([0-9\.]+D)?T([0-9\.]+H)?([0-9\.]+M)?([0-9\.]+S)?/); | 
					
						
							|  |  |  | 	if(!m) throw new Error("|" + s + "| is not an ISO8601 Duration"); | 
					
						
							|  |  |  | 	for(var i = 1; i != m.length; ++i) { | 
					
						
							|  |  |  | 		if(!m[i]) continue; | 
					
						
							|  |  |  | 		mt = 1; | 
					
						
							|  |  |  | 		if(i > 3) time = true; | 
					
						
							| 
									
										
										
										
											2018-01-11 08:01:25 +00:00
										 |  |  | 		switch(m[i].slice(m[i].length-1)) { | 
					
						
							| 
									
										
										
										
											2017-03-10 01:09:18 +00:00
										 |  |  | 			case 'Y': | 
					
						
							| 
									
										
										
										
											2018-01-11 08:01:25 +00:00
										 |  |  | 				throw new Error("Unsupported ISO Duration Field: " + m[i].slice(m[i].length-1)); | 
					
						
							| 
									
										
										
										
											2017-03-10 01:09:18 +00:00
										 |  |  | 			case 'D': mt *= 24; | 
					
						
							|  |  |  | 				/* falls through */ | 
					
						
							|  |  |  | 			case 'H': mt *= 60; | 
					
						
							|  |  |  | 				/* falls through */ | 
					
						
							|  |  |  | 			case 'M': | 
					
						
							|  |  |  | 				if(!time) throw new Error("Unsupported ISO Duration Field: M"); | 
					
						
							|  |  |  | 				else mt *= 60; | 
					
						
							|  |  |  | 				/* falls through */ | 
					
						
							|  |  |  | 			case 'S': break; | 
					
						
							|  |  |  | 		} | 
					
						
							|  |  |  | 		sec += mt * parseInt(m[i], 10); | 
					
						
							|  |  |  | 	} | 
					
						
							|  |  |  | 	return sec; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | var good_pd_date_1 = /*#__PURE__*/new Date('2017-02-19T19:06:09.000Z'); | 
					
						
							|  |  |  | var good_pd_date = /*#__PURE__*/isNaN(/*#__PURE__*/good_pd_date_1.getFullYear()) ? /*#__PURE__*/new Date('2/19/17') : good_pd_date_1; | 
					
						
							|  |  |  | var good_pd = /*#__PURE__*/good_pd_date.getFullYear() == 2017; | 
					
						
							| 
									
										
										
										
											2017-08-10 23:46:34 +00:00
										 |  |  | /* parses a date as a local date */ | 
					
						
							| 
									
										
										
										
											2017-06-01 21:22:11 +00:00
										 |  |  | function parseDate(str/*:string|Date*/, fixdate/*:?number*/)/*:Date*/ { | 
					
						
							| 
									
										
										
										
											2017-05-17 04:23:36 +00:00
										 |  |  | 	var d = new Date(str); | 
					
						
							| 
									
										
										
										
											2017-06-01 21:22:11 +00:00
										 |  |  | 	if(good_pd) { | 
					
						
							|  |  |  | 		/*:: if(fixdate == null) fixdate = 0; */ | 
					
						
							|  |  |  | 		if(fixdate > 0) d.setTime(d.getTime() + d.getTimezoneOffset() * 60 * 1000); | 
					
						
							|  |  |  | 		else if(fixdate < 0) d.setTime(d.getTime() - d.getTimezoneOffset() * 60 * 1000); | 
					
						
							|  |  |  | 		return d; | 
					
						
							|  |  |  | 	} | 
					
						
							| 
									
										
										
										
											2017-03-23 01:18:40 +00:00
										 |  |  | 	if(str instanceof Date) return str; | 
					
						
							| 
									
										
										
										
											2017-05-17 04:23:36 +00:00
										 |  |  | 	if(good_pd_date.getFullYear() == 1917 && !isNaN(d.getFullYear())) { | 
					
						
							|  |  |  | 		var s = d.getFullYear(); | 
					
						
							|  |  |  | 		if(str.indexOf("" + s) > -1) return d; | 
					
						
							|  |  |  | 		d.setFullYear(d.getFullYear() + 100); return d; | 
					
						
							|  |  |  | 	} | 
					
						
							| 
									
										
										
										
											2017-03-23 01:18:40 +00:00
										 |  |  | 	var n = str.match(/\d+/g)||["2017","2","19","0","0","0"]; | 
					
						
							| 
									
										
										
										
											2017-08-10 23:46:34 +00:00
										 |  |  | 	var out = new Date(+n[0], +n[1] - 1, +n[2], (+n[3]||0), (+n[4]||0), (+n[5]||0)); | 
					
						
							|  |  |  | 	if(str.indexOf("Z") > -1) out = new Date(out.getTime() - out.getTimezoneOffset() * 60 * 1000); | 
					
						
							|  |  |  | 	return out; | 
					
						
							| 
									
										
										
										
											2017-03-23 01:18:40 +00:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-02-10 12:40:50 +00:00
										 |  |  | function cc2str(arr/*:Array<number>*/, debomit)/*:string*/ { | 
					
						
							|  |  |  | 	if(has_buf && Buffer.isBuffer(arr)) { | 
					
						
							| 
									
										
										
										
											2022-07-10 04:12:15 +00:00
										 |  |  | 		if(debomit && buf_utf16le) { | 
					
						
							|  |  |  | 			// TODO: temporary patch
 | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | 			if(arr[0] == 0xFF && arr[1] == 0xFE) return utf8write(arr.slice(2).toString("utf16le")); | 
					
						
							|  |  |  | 			if(arr[1] == 0xFE && arr[2] == 0xFF) return utf8write(utf16beread(arr.slice(2).toString("binary"))); | 
					
						
							| 
									
										
										
										
											2022-02-10 12:40:50 +00:00
										 |  |  | 		} | 
					
						
							|  |  |  | 		return arr.toString("binary"); | 
					
						
							|  |  |  | 	} | 
					
						
							| 
									
										
										
										
											2022-03-16 19:00:45 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | 	if(typeof TextDecoder !== "undefined") try { | 
					
						
							|  |  |  | 		if(debomit) { | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | 			if(arr[0] == 0xFF && arr[1] == 0xFE) return utf8write(new TextDecoder("utf-16le").decode(arr.slice(2))); | 
					
						
							|  |  |  | 			if(arr[0] == 0xFE && arr[1] == 0xFF) return utf8write(new TextDecoder("utf-16be").decode(arr.slice(2))); | 
					
						
							| 
									
										
										
										
											2022-03-16 19:00:45 +00:00
										 |  |  | 		} | 
					
						
							|  |  |  | 		var rev = { | 
					
						
							|  |  |  | 			"\u20ac": "\x80", "\u201a": "\x82", "\u0192": "\x83", "\u201e": "\x84", | 
					
						
							|  |  |  | 			"\u2026": "\x85", "\u2020": "\x86", "\u2021": "\x87", "\u02c6": "\x88", | 
					
						
							|  |  |  | 			"\u2030": "\x89", "\u0160": "\x8a", "\u2039": "\x8b", "\u0152": "\x8c", | 
					
						
							|  |  |  | 			"\u017d": "\x8e", "\u2018": "\x91", "\u2019": "\x92", "\u201c": "\x93", | 
					
						
							|  |  |  | 			"\u201d": "\x94", "\u2022": "\x95", "\u2013": "\x96", "\u2014": "\x97", | 
					
						
							|  |  |  | 			"\u02dc": "\x98", "\u2122": "\x99", "\u0161": "\x9a", "\u203a": "\x9b", | 
					
						
							|  |  |  | 			"\u0153": "\x9c", "\u017e": "\x9e", "\u0178": "\x9f" | 
					
						
							|  |  |  | 		}; | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | 		if(Array.isArray(arr)) arr = new Uint8Array(arr); | 
					
						
							| 
									
										
										
										
											2022-03-17 04:38:06 +00:00
										 |  |  | 		return new TextDecoder("latin1").decode(arr).replace(/[€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ]/g, function(c) { return rev[c] || c; }); | 
					
						
							| 
									
										
										
										
											2022-03-16 19:00:45 +00:00
										 |  |  | 	} catch(e) {} | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-02-10 12:40:50 +00:00
										 |  |  | 	var o = []; | 
					
						
							|  |  |  | 	for(var i = 0; i != arr.length; ++i) o.push(String.fromCharCode(arr[i])); | 
					
						
							|  |  |  | 	return o.join(""); | 
					
						
							| 
									
										
										
										
											2014-05-22 12:16:51 +00:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2014-07-28 13:22:32 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-02-19 20:36:32 +00:00
										 |  |  | function dup(o/*:any*/)/*:any*/ { | 
					
						
							| 
									
										
										
										
											2017-03-20 09:02:25 +00:00
										 |  |  | 	if(typeof JSON != 'undefined' && !Array.isArray(o)) return JSON.parse(JSON.stringify(o)); | 
					
						
							| 
									
										
										
										
											2017-03-19 23:46:41 +00:00
										 |  |  | 	if(typeof o != 'object' || o == null) return o; | 
					
						
							| 
									
										
										
										
											2018-01-11 08:01:25 +00:00
										 |  |  | 	if(o instanceof Date) return new Date(o.getTime()); | 
					
						
							| 
									
										
										
										
											2017-02-19 20:36:32 +00:00
										 |  |  | 	var out = {}; | 
					
						
							| 
									
										
										
										
											2020-03-15 07:42:05 +00:00
										 |  |  | 	for(var k in o) if(Object.prototype.hasOwnProperty.call(o, k)) out[k] = dup(o[k]); | 
					
						
							| 
									
										
										
										
											2017-02-19 20:36:32 +00:00
										 |  |  | 	return out; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | function fill(c/*:string*/,l/*:number*/)/*:string*/ { var o = ""; while(o.length < l) o+=c; return o; } | 
					
						
							| 
									
										
										
										
											2017-05-11 07:29:59 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | /* TODO: stress test */ | 
					
						
							| 
									
										
										
										
											2017-08-09 22:38:23 +00:00
										 |  |  | function fuzzynum(s/*:string*/)/*:number*/ { | 
					
						
							|  |  |  | 	var v/*:number*/ = Number(s); | 
					
						
							| 
									
										
										
										
											2022-03-16 03:18:09 +00:00
										 |  |  | 	if(!isNaN(v)) return isFinite(v) ? v : NaN; | 
					
						
							| 
									
										
										
										
											2020-09-11 08:38:33 +00:00
										 |  |  | 	if(!/\d/.test(s)) return v; | 
					
						
							| 
									
										
										
										
											2017-08-10 23:46:34 +00:00
										 |  |  | 	var wt = 1; | 
					
						
							|  |  |  | 	var ss = s.replace(/([\d]),([\d])/g,"$1$2").replace(/[$]/g,"").replace(/[%]/g, function() { wt *= 100; return "";}); | 
					
						
							|  |  |  | 	if(!isNaN(v = Number(ss))) return v / wt; | 
					
						
							|  |  |  | 	ss = ss.replace(/[(](.*)[)]/,function($$, $1) { wt = -wt; return $1;}); | 
					
						
							|  |  |  | 	if(!isNaN(v = Number(ss))) return v / wt; | 
					
						
							| 
									
										
										
										
											2017-08-09 22:38:23 +00:00
										 |  |  | 	return v; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | /* NOTE: Chrome rejects bare times like 1:23 PM */ | 
					
						
							| 
									
										
										
										
											2022-08-07 02:50:58 +00:00
										 |  |  | var FDRE1 = /^(0?\d|1[0-2])(?:|:([0-5]?\d)(?:|(\.\d+)(?:|:([0-5]?\d))|:([0-5]?\d)(|\.\d+)))\s+([ap])m?$/; | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | function fuzzytime1(M) /*:Date*/ { | 
					
						
							| 
									
										
										
										
											2022-08-07 02:50:58 +00:00
										 |  |  |     /* TODO: 1904 adjustment, keep in sync with base date */ | 
					
						
							|  |  |  |     if(!M[2]) return new Date(1899,11,30,(+M[1]%12) + (M[7] == "p" ? 12 : 0), 0, 0, 0); | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  |     if(M[3]) { | 
					
						
							| 
									
										
										
										
											2022-08-07 02:50:58 +00:00
										 |  |  |         if(M[4]) return new Date(1899,11,30,(+M[1]%12) + (M[7] == "p" ? 12 : 0), +M[2], +M[4], parseFloat(M[3])*1000); | 
					
						
							|  |  |  |         else return new Date(1899,11,30,(M[7] == "p" ? 12 : 0), +M[1], +M[2], parseFloat(M[3])*1000); | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2022-08-07 02:50:58 +00:00
										 |  |  |     else if(M[5]) return new Date(1899,11,30, (+M[1]%12) + (M[7] == "p" ? 12 : 0), +M[2], +M[5], M[6] ? parseFloat(M[6]) * 1000 : 0); | 
					
						
							|  |  |  |     else return new Date(1899,11,30,(+M[1]%12) + (M[7] == "p" ? 12 : 0), +M[2], 0, 0); | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2022-02-11 07:13:41 +00:00
										 |  |  | var lower_months = ['january', 'february', 'march', 'april', 'may', 'june', 'july', 'august', 'september', 'october', 'november', 'december']; | 
					
						
							| 
									
										
										
										
											2017-05-11 07:29:59 +00:00
										 |  |  | function fuzzydate(s/*:string*/)/*:Date*/ { | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  | 	var lower = s.toLowerCase(); | 
					
						
							| 
									
										
										
										
											2022-08-07 02:50:58 +00:00
										 |  |  | 	var lnos = lower.replace(/\s+/g, " ").trim(); | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  | 	var M = lnos.match(FDRE1); | 
					
						
							|  |  |  | 	if(M) return fuzzytime1(M); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-05-11 07:29:59 +00:00
										 |  |  | 	var o = new Date(s), n = new Date(NaN); | 
					
						
							|  |  |  | 	var y = o.getYear(), m = o.getMonth(), d = o.getDate(); | 
					
						
							|  |  |  | 	if(isNaN(d)) return n; | 
					
						
							| 
									
										
										
										
											2022-02-11 07:13:41 +00:00
										 |  |  | 	if(lower.match(/jan|feb|mar|apr|may|jun|jul|aug|sep|oct|nov|dec/)) { | 
					
						
							| 
									
										
										
										
											2022-02-12 06:31:47 +00:00
										 |  |  | 		lower = lower.replace(/[^a-z]/g,"").replace(/([^a-z]|^)[ap]m?([^a-z]|$)/,""); | 
					
						
							| 
									
										
										
										
											2022-02-11 07:13:41 +00:00
										 |  |  | 		if(lower.length > 3 && lower_months.indexOf(lower) == -1) return n; | 
					
						
							| 
									
										
										
										
											2022-05-22 23:51:41 +00:00
										 |  |  | 	} else if(lower.replace(/[ap]m?/, "").match(/[a-z]/)) return n; | 
					
						
							| 
									
										
										
										
											2022-06-27 05:47:58 +00:00
										 |  |  | 	if(y < 0 || y > 8099 || s.match(/[^-0-9:,\/\\]/)) return n; | 
					
						
							| 
									
										
										
										
											2017-08-17 15:59:17 +00:00
										 |  |  | 	return o; | 
					
						
							| 
									
										
										
										
											2017-05-11 07:29:59 +00:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-03-20 01:54:41 +00:00
										 |  |  | var split_regex = /*#__PURE__*/(function() { | 
					
						
							|  |  |  | 	var safe_split_regex = "abacaba".split(/(:?b)/i).length == 5; | 
					
						
							|  |  |  | 	return function split_regex(str/*:string*/, re, def/*:string*/)/*:Array<string>*/ { | 
					
						
							|  |  |  | 		if(safe_split_regex || typeof re == "string") return str.split(re); | 
					
						
							|  |  |  | 		var p = str.split(re), o = [p[0]]; | 
					
						
							|  |  |  | 		for(var i = 1; i < p.length; ++i) { o.push(def); o.push(p[i]); } | 
					
						
							|  |  |  | 		return o; | 
					
						
							|  |  |  | 	}; | 
					
						
							|  |  |  | })(); |