If the key is a programmable key then the user can do ∞397 and then hit the desired key and program it for what they want. If it's not programmable then you can go into the user's keymap and program the programmable keys on a per key basis. If you need directions for that part please let me know.