    getElementSourceText: function(node)    {        if (this.sourceElements)        {            var index = this.sourceElementNodes.indexOf(node);            if (index != -1)                return this.sourceElements[index];        }        var lines;        var url = getSourceHref(node);        if (url)            lines = this.context.sourceCache.load(url);        else        {            var text = getSourceText(node);            lines = text.split(/\r\n|\r|\n/);        }                var sourceElt = new SourceText(lines, node);                if (!this.sourceElements)        {            this.sourceElements =  [sourceElt];            this.sourceElementNodes = [node];        }        else        {            this.sourceElements.push(sourceElt);            this.sourceElementNodes.push(node);        }                return sourceElt;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/clean/extension/content/firebug/html.js