<!--
function processSearchString(textBox) {
var string = textBox.value;
var exactPhrasePattern = new RegExp("^\".*\"$");
var booleanPattern = new RegExp(" (and|or|not) ");
if (!string.match(exactPhrasePattern) && !string.match(booleanPattern)) {
var tokens = string.split(" ");
var newTokens = new Array();
var i = 0;
while (i < tokens.length) {
newTokens.push(tokens[i], "and");
i++;
}
newTokens.pop();
textBox.value = newTokens.join(" ");
}
}
// -->
