    getObjectPath: function(element)    {        var path = [];        for (; element; element = this.getParentObject(element))            path.push(element);                return path;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/clean/extension/content/firebug/html.js