37933794379537963797379837993800380138023803
needle = (StringValue) needleV; else needle = StringValue.create((char) needleV.toInt()); haystack = haystack.toLowerCase(); needle = needle.toLowerCase(); int pos = haystack.indexOf(needle, offset); if (pos < 0) return BooleanValue.FALSE;
37793780378137823783378437853786378737883789
37913792379337943795379637973798379938003801