document.write("<div class=\"prevBox\"><div class=\"prevBtn\"></div><p><a href=\"/story?sid=84043\">Servo 发布首个 crates.io 版本</a></p></div>");document.write("<div class=\"nextBox\"><div class=\"nextBtn\"></div><p><a href=\"/story?sid=84045\">德国主权科技基金向 Mastodon 资助 61.4 万欧元</a></p></div>");