} 
}                                                                                                                      /*@explore*/ 
function dumpProperties(title, obj)                                                                                    /*@explore*/{                                                                                                                      /*@explore*/	var lines = [title];                                                                                               /*@explore*/	for (p in obj)                                                                                                     /*@explore*/		lines.push("["+p+"]="+obj[p]);                                                                                 /*@explore*/	ddd(lines.join("\n"));                                                                                             /*@explore*/}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e33f0e558629e94057a40ad3547a30f6b2831c4c/firebug-service.js/buggy/extension/components/firebug-service.js