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 = "/ir/mob/ir.jsp?page=search";
        SearchURL = SearchURL + "&queryString="+keyword+"&start=1";
        location.href = SearchURL;
    }
}