change hotkey from char* to int