    search: function(text)    {        var search;        if (text == this.searchText && this.lastSearch)            search = this.lastSearch;        else        {            var doc = this.context.window.document;            search = this.lastSearch = new NodeSearch(text, doc, this.panelNode, this.ioBox);        }        var loopAround = search.find();        if (loopAround)        {            this.resetSearch();            this.search(text);        }                return !search.noMatch;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/clean/extension/content/firebug/html.js