document.write("<div class=\"prevBox\"><div class=\"prevBtn\"></div><p><a href=\"/story?sid=83736\">图灵奖得主 Tony Hoare 去世，享年 92 岁</a></p></div>");document.write("<div class=\"nextBox\"><div class=\"nextBtn\"></div><p><a href=\"/story?sid=83738\">为节省燃料亚洲多国下令公务员在家远程办公</a></p></div>");