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