add:  element.setAttribute("id", id); element.appendChild(childNode); 
context:   this.createElement = function(document) {    var element = document.createElement(this.elementName);    for (var name in attributes) {      element.setAttribute(name, this.attributes[name]);    }    return element;  }
meta: 2588	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2588/f175973a24c874662aecffa7e17cab869338a5dc/nodeHighlighter.js/clean/src/chrome/content/highlighting/nodeHighlighter.js