function doHighlight(g,b,h,a){if((!h)||(!a)){h="<font style='background-color:black;color:white;padding:2px;font-weight:bold;'>";a="</font>"}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};