diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js
index f2d5ce1f59..5db60f3cbe 100644
--- a/collects/scribblings/main/private/search.js
+++ b/collects/scribblings/main/private/search.js
@@ -360,11 +360,11 @@ function Search(data, term, is_pre, K) {
       else if (min > C_fail)  wordmatches.push(data[i]);
       fuel--; i++;
     }
-    if (i<data.length) t = setTimeout(DoChunk, 25);
+    if (i<data.length) t = setTimeout(DoChunk,15);
     else return K([exacts.length, exacts.concat(matches).concat(wordmatches)]);
   };
   if (!K) return DoChunk();
-  else { progress(0); t = setTimeout(DoChunk,25); return killer; }
+  else { progress(0); t = setTimeout(DoChunk,15); return killer; }
 }
 
 var search_data; // pre-filtered searchable index data