int NUMLOCK = 144

Not documented.