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 06:47:23 Jul 13, 2024. 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.548 exclusion.robots: 0.025 exclusion.robots.policy: 0.015 esindex: 0.012 cdx.remote: 62.596 LoadShardBlock: 253.334 (3) PetaboxLoader3.datanode: 448.715 (7) PetaboxLoader3.resolve: 1419.518 (2) load_resource: 1650.678 loaddict: 76.239 */