    highlightRow: function(row)    {        if (this.highlightedRow)            cancelClassTimed(this.highlightedRow, "jumpHighlight", this.context);        this.highlightedRow = row;                if (row)            setClassTimed(row, "jumpHighlight", this.context);    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/dom.js/clean/extension/content/firebug/dom.js