function highLight(theContainer,keyword) {
   es=theContainer.descendants();
   var re=new RegExp(keyword,'i');
   for(i = 0; i < es.length; ++i) {
     es[i].innerHTML=es[i].innerHTML.replace(re,'<b>'+keyword+'</b>');
   }
 }