var times = 5; jQuery("#times").html(times); 
 var times = parseInt(jQuery("#times").val()); 
  jQuery.fn.benchmark = function() {    this.each(function() {      try {        jQuery(this).parent().children("*:gt(1)").remove();      } catch(e) { }    })    var times = 5;    jQuery("#times").html(times);    jQuery.benchmarker.startingList = this.get();    benchmark(this.get(), times, jQuery.benchmarker.libraries);  }
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/b0b5fa74b6790ad18504c063f2ffcc1beb52916a/benchmarker.js/clean/build/speed/benchmarker.js