Right-click on your webpage and click View Page Source. That is the source code I am talking about. You will see Javascript code setting the variables:
<!-- start AjaxSearch header -->
<script type="text/javascript">
as_version = '1.7';
debug = 0;
as_language = 'en';
opacity = 1;
stripHtml = 1;
stripSnip = 1;
stripSnippets = 1;
useAllWords = 1;
searchStyle = 'partial';
minChars = 3;
ajaxMax = 4;
showMoreResults = 0;
moreResultsPage = 240;
extract = 1;
extractLength = 200;
liveSearch = 1;
docgrp = '';
highlightResult = 1;
listIDs = '607,604,47,605,606,589,593,590,681,716,717,594,203,229,180,608,609,214,610,223,611,613,612,614,615,650,651,652,653,654,655,656,657,658,659,721,648,649,647,6,623,601,718,646,719,724,595,722,205,207,641,642,643,234,673,644,645,638,639,660,674,197,185,193,220,675,676,678,677,679,218,680,662,661,664,663,665,667,666,668,669,670,671,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,699,697,698,700,701,702,703,704,705,710,711,712,713,714,715,706,707,709,708,628,622,619,624,632,640,599,625,617,618,626,627,620,616,600';
</script>
<!-- end AjaxSearch header -->