function submitsearch(myfield,e)
{
var keycode;
if (window.event) keycode = window.event.keyCode;
else if (e) keycode = e.which;
else return true;

if (keycode != 13) 
   return true;

performSearch( myfield.value );
return false;
}

function performSearch(query){
  if(query != '')
  document.location.replace('/pages/CoveoSearch.aspx?q=' + query);
}
        
function performSearchKb (query)
{
if(query != '')
document.location.replace('/pages/CoveoSearch.aspx?c=kb&q=' + query );
}