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