ript">
    /* This benchmarking tool is modeled after goog.testing.benchmark.
     * It has been forked to ensure results are written to a specific
     * DOM element so we don't lose our DOM below (which is used in the
     * benchmarking.
     */
    window.onload = function() {
      // Parse the 'times' query parameter if it's set.
      var times = 200;
      var search = window.location.search;
      var timesMatch = search.match(/(?:\?|&)times=([^?&]+)/i);
      if (timesMatch) {
        times = time