var keymap = Array();
keymap[101] = 'end';
keymap[110] = 'next';
keymap[113] = 'quit';
keymap[116] = 'toc';
keymap[112] = 'prev';
keymap[115] = 'start';