function ajaxOpenSearch(a){var b=new AjaxRequest(a);b.setPreRequest(function(){document.body.style.cursor="progress"});b.setPostRequest(function(){document.body.style.cursor="default"});b.sendRequest();return false};