function doSearch (s) { 
  var str = s.value; 
  if (str==""){ 
    alert("Geben Sie bitte einen Suchbegriff ein!"); 
    s.focus(); 
    return false; 
  } 
  var QueryGlobalJS = ('WebAllSearch?SearchView&SearchOrder=1&Query='+ escape(str)); 
  window.location.href = '/' + var_rep + '/' + QueryGlobalJS ; 
} 

function returnFalse(s) { 
  doSearch(s); 
  return false; 
}