document.write("<div class=\"prevBox\"><div class=\"prevBtn\"></div><p><a href=\"/story?sid=82509\">GitHub 正将其基础设施迁移到 Azure</a></p></div>");document.write("<div class=\"nextBox\"><div class=\"nextBtn\"></div><p><a href=\"/story?sid=82511\">天文学家使用引力透镜发现最小的暗天体</a></p></div>");