    this.dirxml = function(o)    {        if (o instanceof Window)            o = o.document.documentElement;        else if (o instanceof Document)            o = o.documentElement;                Firebug.Console.log(o, context, "dirxml", Firebug.HTMLPanel.SoloElement);    };
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/consoleAPI.js/clean/extension/content/firebug/consoleAPI.js