var headers = jQuery.map(jQuery.benchmarker.libraries, function(i) { return "<th>" + i + "</th>" 
var headers = jQuery.map(jQuery.benchmarker.libraries, function(i,n) { var extra = n == 0 ? "basis - " : ""; return "<th>" + extra + i + "</th>" 
    var headers = jQuery.map(jQuery.benchmarker.libraries, function(i) {      return "<th>" + i + "</th>"    }).join("");
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/b0b5fa74b6790ad18504c063f2ffcc1beb52916a/benchmarker.js/clean/build/speed/benchmarker.js