document.write("<div class=\"prevBox\"><div class=\"prevBtn\"></div><p><a href=\"/story?sid=63976\">Grsecurity 开发商最终向 Bruce Perens 赔偿 30万美元</a></p></div>");document.write("<div class=\"nextBox\"><div class=\"nextBtn\"></div><p><a href=\"/story?sid=63978\">菲利普·安德森去世享年 96 岁</a></p></div>");