[support] Replace username in search result with user alias

I like to replace username in search result with user alias which I added to user table. I know that $result['user'] in function mytheme_search_result(&$variables) { contains the username, but I am not sure where I should go to change it to user alias. Kewei