function comments_hookup_navi(B) {
    var A = $("comments_display");
    ($$("#comments_display div.navi a")).each(function (C) {
        Event.observe(C, "click", function (E) {
            Event.stop(E);
            var D = Event.findElement(E, "a");
            new Ajax.Updater(A, D.readAttribute("href") + "/ajax", {
                method: "get",
                onComplete: function () {
                    A.remove();
                    comments_hookup_navi()
                },
                evalScripts: true,
                insertion: "after"
            })
        })
    });
    if (B != true) {
        cont.scrollTo()
    }
}
Event.observe(window, "load", function () {
    comments_hookup_navi(true)
});