function submitForm(){var b=document.getElementById("searchForm");var c=b.elements.keywords;var a="/search/keywords/"+filterSearchText(c.value);window.location=a}function filterSearchText(a){a=a.replace(/[^A-Za-z0-9\-\@\.]/gi," ");a=removeRedundantSpaces(a);a=a.replace(/[ ]/gi,"+");return a};