if (document.getElementById("editor")) {document.getElementById('editor').innerHTML="编辑：高源，机器人学习　发布时间： 2015-7-3　浏览： 219 　文章来源：知乎";}