added jQuery Hotkeys Plugin (not used yet)