function doSearch() {

  var searchstring = jQuery("input#searchstring").val();
  AjaxRequest('CoMeT_function=run_module&module=ModSearch&function=ajax_search&searchstring=' + searchstring, '#search_result', searchResult);

}

function searchResult(html) {
  jQuery('#search_result').html(html);
  jQuery('#search_result').fadeIn("slow")
}

function hideSearchResults() {
  jQuery('#search_result').fadeOut("slow");
}


function checkEnter(e) {
  var key;
  if (window.event) {
    key = window.event.keyCode; //IE
  } else {
    key = e.which;
  }
  if (key == 13) {
    doSearch();
    return false;
  }
  return true;
}