docs: static String getJavaScriptUnicodeEscapeString(char ch) {
  		int chInt = (int)ch;
  		if(chInt>=ENCODE_RANGE_1_START && chInt<ENCODE_RANGE_1_END) {
  			return javaScriptUnicodeEscapeStrings1[chInt - ENCODE_RANGE_1_START];
  		}
  		if(chInt>=ENCODE_RANGE_2_START && chInt<ENCODE_RANGE_2_END) {
  			return javaScriptUnicodeEscapeStrings2[chInt - ENCODE_RANGE_2_START];
  		}
  		if(chInt>=ENCODE_RANGE_3_START && chInt<ENCODE_RANGE_3_END) {
  			return javaScriptUnicodeEscapeStrings3[chInt - ENCODE_RANGE_3_START];
  		}
  		// No encoding needed
  		return null;
  	}