if (FBTrace)                                              /*@explore*/ FBTrace.dumpProperties("lib.ERROR exception:", exc);  /*@explore*/ else                                                      /*@explore*/ ddd("FIREBUG WARNING: " + exc); 
if (FBTrace)                                              /*@explore*/ FBTrace.dumpProperties("lib.ERROR exception:", exc);  /*@explore*/ else                                                      /*@explore*/ ddd("FIREBUG WARNING: " + exc); 
this.ERROR = function(exc){	if (FBTrace)                                              /*@explore*/		FBTrace.dumpProperties("lib.ERROR exception:", exc);  /*@explore*/	else                                                      /*@explore*/	    ddd("FIREBUG WARNING: " + exc);}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/dbf619bf20c7264a48c10ac2cb7b8683d0369a41/lib.js/buggy/extension/content/firebug/lib.js