added jquery.hotkeys.js