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