function highlight(s,id) { if(s.length == 0) { var obj = document.getElementById(id); var t = obj.innerHTML.replace(/([^<>]*)<\/span>/gi, "$1"); obj.innerHTML = t; return false; } s = encode(s); var obj = document.getElementById(id); var t = obj.innerHTML.replace(/([^<>]*)<\/span>/gi, "$1"); obj.innerHTML = t; var cnt = loopSearch(s, obj); t = obj.innerHTML var r = /{searchHL}(({(?!\/searchHL})|[^{])*){\/searchHL}/g t = t.replace(r, "$1"); obj.innerHTML = t; function encode(s) { return s.replace(/&/g, "&").replace(//g, ">").replace(/([\\\.\*\[\]\(\)\$\^])/g, "\\$1"); } function decode(s) { return s.replace(/\\([\\\.\*\[\]\(\)\$\^])/g, "$1").replace(/>/g, ">").replace(/