JS to replace Zendesk Search box with search docs box

gistfile1.js

jQuery("#search_box").text("Search");
if (jQuery("#suggestion_submit")) {
  jQuery("#suggestion_submit").click(function(e){
    var search_string = jQuery("#suggestions_query").val();
    var query_string = jQuery("#suggestions_query").val().replace(/\s/g,"+");
    window.location = "http://help.bluemangolearning.com/searches?text=" + query_string;
    return false;
  });
};