var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; };
if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } }
{
let window = _____WB$wombat$assign$function_____("window");
let self = _____WB$wombat$assign$function_____("self");
let document = _____WB$wombat$assign$function_____("document");
let location = _____WB$wombat$assign$function_____("location");
let top = _____WB$wombat$assign$function_____("top");
let parent = _____WB$wombat$assign$function_____("parent");
let frames = _____WB$wombat$assign$function_____("frames");
let opener = _____WB$wombat$assign$function_____("opener");
/**
* Blank the search form input only if there isn't any ongoing search.
*/
function blankSearchFormInput(previousSearchValue, formElem) {
if (previousSearchValue == '') {
formElem.value = '';
}
}
/**
* Return whether the search form is empty or not.
* This script is to be used to avoid to request a search for an empty request,
* to save the server from useless load.
*/
function checkEmptySearch(formElem) {
var searchGadget = document.getElementById('searchGadget');
if (!searchGadget) {
return false;
}
var query = searchGadget.value;
if (query != '') {
// formElem.SearchableText.value = query;
searchGadget.value = query;
return true;
}
searchGadget.value = query;
searchGadget.focus();
return false;
}
/**
* Return a copy of the string with leading and trailing characters removed.
*/
function trim(s) {
if (s) {
return s.replace(/^\s*|\s*$/g, "");
}
return "";
}
}
/*
FILE ARCHIVED ON 21:47:21 Sep 15, 2021 AND RETRIEVED FROM THE
INTERNET ARCHIVE ON 09:24:43 Jul 11, 2025.
JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.
ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
SECTION 108(a)(3)).
*/
/*
playback timings (ms):
captures_list: 0.854
exclusion.robots: 0.063
exclusion.robots.policy: 0.047
esindex: 0.016
cdx.remote: 155.275
LoadShardBlock: 802.325 (3)
PetaboxLoader3.datanode: 654.702 (5)
PetaboxLoader3.resolve: 473.249 (2)
load_resource: 757.904
loaddict: 183.96
*/