HOTKEY_ID        3254 src/w32fns.c         RegisterHotKey (hwnd, HOTKEY_ID (key),
HOTKEY_ID        3271 src/w32fns.c         UnregisterHotKey (hwnd, HOTKEY_ID (key));