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