$(document).ready(function () {
    var fragment;
    
    if ($.browser.mozilla) {
        fragment = window.location.hash; // 何故か勝手に URI デコードされる
    }
    else {
        fragment = decodeURIComponent(window.location.hash);
    }

    var m = fragment.match(/^#Redirect:(.*)$/);
    if (m) {
        var from = m[1];

        var editButton
            = $.INPUT({className: "editButton",
                       type:      "button",
                       value:     "Edit the page"});
        $(editButton).click(function () {
            Rakka.editPage(from);
        });

        var box
            = $.P({className: "redirection"},
                  "This page has been redirected from “" + from + "”.", editButton);

        $("div.title").after(box);
    }
});