rem: var concatId = this.name + document.nodeHighlighter[this.name].count++;   while (document.getElementById(concatId) != null) { concatId = this.name + document.nodeHighlighter[this.name].count++; 
add:  while (document.getElementById(id) != null) { id = this.name + document.nodeHighlighter[this.name].count++; 
context:   this.highlight = function(document, node, word, matchCase, elementCreator) {    initNodeHighlighterMetaData(document);    var text = node.data;    if (!matchCase) {      text = text.toUpperCase();      word = word.toUpperCase();    }    var count = 0;    while (text.indexOf(word) != -1) {      var matchText = node.splitText(text.indexOf(word));      node = matchText.splitText(word.length);      var clone = matchText.cloneNode(true);      var concatId = this.name + document.nodeHighlighter[this.name].count++;      // Be sure that this id doesn't exist.      while (document.getElementById(concatId) != null) {        concatId = this.name + document.nodeHighlighter[this.name].count++;      }      var element = elementCreator.createElement(document);      element.setAttribute("id", concatId);      element.appendChild(clone);      matchText.parentNode.replaceChild(element, matchText);      // Move to next node      node = element.nextSibling;      text = node.data;      if (!matchCase) {        text = text.toUpperCase();      }      count++;    }    return count;  }
meta: 2588	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2588/f175973a24c874662aecffa7e17cab869338a5dc/nodeHighlighter.js/clean/src/chrome/content/highlighting/nodeHighlighter.js