var Emacsen = function () {
    return {
        instrument: function () {
            p_re = new RegExp("^[?]p=(\\d+)$");
            p_match = p_re.exec(location.search);
            if (p_match) {
                pnum = p_match[1];
                elem = document.getElementById("p"+pnum);
                elem.className = "selected";
            }
        }
    };
}();

window.onload = Emacsen.instrument;

