added jquery.hotkeys