+ var waitE = document.querySelector('#_search2_search_wait_milliseconds');
+ var interval = minSearchWaitMilliseconds;
+ try {
+ interval = parseInt(waitE.value);
+ } catch (e) {
+ interval = minSearchWaitMilliseconds;
+ }
+ if (interval < minSearchWaitMilliseconds) {
+ interval = minSearchWaitMilliseconds;
+ }