function gotoUrl(url)
{
    location.href = url;
}

function DoSearch()
{
   var groupCleanName = '';
   var searchText     = '';
   var url            = '';

   var select = document.getElementById('search_group');
   var edit   = document.getElementById('search_text');
   if (select) {
       groupCleanName = select.value;
   }
   if (edit) {
       searchText = edit.value.replace(/ /g, '+');
   }
   if (searchText != '') {
       url = '/search/';
       if (groupCleanName && groupCleanName != 'all')
           url += groupCleanName + '/';
       url += searchText + '/';
   }
   if (url) gotoUrl(url);
   return false;
}