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