rem: function makeHTML(element) { 
add: function makeHTML(self, element) { 
context:     function makeHTML(element) {        throw new Error("This sucks don't use it");        var HTML_ELEMENT;        if (element.nodeName.charAt(0) == '#') {            HTML_ELEMENT = document.createTextNode(element.nodeValue);        } else {            HTML_ELEMENT = document.createElement(element.nodeName);        }        if (element.attributes != undefined) {            for (var i = 0; i < element.attributes.length; ++i) {                attr = element.attributes[i];                HTML_ELEMENT.setAttribute(attr.nodeName, attr.nodeValue);            }        }        for (var i = 0; i < element.childNodes.length; ++i) {            HTML_ELEMENT.appendChild(MAKE_HTML(element.childNodes[i]));        }        return HTML_ELEMENT;    });
meta: 1565	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1565/edb3c17e3da33d39fad0f1cc59c23794e9cf8608/runtime.js/clean/nevow/runtime.js