add: if (noisy) { dumpLine("Cycle " + (cycle+1) + ": loaded " + pageName); } 
context: function plRecordTime(time) {  var pageName = pages[pageIndex].url.spec;  report.recordTime(pageIndex, time);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/716914ef1e20067cde1e65765cd19ba96d40a6d3/pageloader.js/buggy/layout/tools/pageloader/pageloader.js