function replaceQuotes(keyword) {
  keyword = keyword.replace(/"/,'\'');
  if(keyword.indexOf('\"') != -1) {
      keyword = replaceQuotes(keyword);
  }
  return keyword;
}

function runSearch() {
  var keyword = document.getElementById('searchinput').value;
  keyword = replaceQuotes(keyword);
  if (keyword=='' || keyword=='Enter a word or phrase') {
      alert("Please enter a word or phrase");
  } else {
    var SearchURL = "/search?";
    SearchURL = SearchURL + "&queryString="+keyword+"&keys=default&start=1";
    location.href = SearchURL;
  }
}