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