function hotkeys(e) {
    if (!e) e = window.event;
    var k = e.keyCode;
    var d;
    if (e.ctrlKey && e.shiftKey) {
        if (k == 65) { d = "/admin"; }
    }
    if (d) location.href = d;
}