Maybe we should also stop using up and down here...

I think On/Off is better

So how about

So <Hotkey NUMLOCK(ON) CTL F1>