$9888 (+0.77%)Actually an interesting company, but the share price was a little sluggish.What do you think about Baidu?