The search button doesn't like the single number "9" (or any single character for that matter). I found that "Redhat AND 9*" will work but "Redhat AND *9*" crashes with following message.
Fatal error: Maximum execution time of 30 seconds exceeded in /home/groups/s/se/seq/htdocs/forums/search.php on line 408
Does it really take 30 seconds or is something else going on?