logFormatted(arguments, "log"); 
logFormatted(this.formatted, arguments, "log"); 
    this.log = function()    {        logFormatted(arguments, "log");    };
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/4215eefbed1db5e77871b05658580c9d9f03b884/consoleAPI.js/buggy/extension/content/firebug/consoleAPI.js