function doHighlight(g,b,h,a){if((!h)||(!a)){h="<span style='font-weight: bold; outline: #0f0 dotted 1px;'>";a="</span>"}var e="";var d=-1;var c=b.toLowerCase();var f=g.toLowerCase();while(g.length>0){d=f.indexOf(c,d+1);if(d<0){e+=g;g=""}else{if(g.lastIndexOf(">",d)>=g.lastIndexOf("<",d)){e+=g.substring(0,d)+h+g.substr(d,b.length)+a;g=g.substr(d+b.length);f=g.toLowerCase();d=-1}}}return e};