10.6.2.1740.15 K-F7 k-f-7 FACILITY EXT
( -- u )
Leaves the value u that the sequence EKEY EKEY>FKEY would produce when the user presses the "F7" key.
Leaves the value u that the sequence EKEY EKEY>FKEY would produce when the user presses the "F7" key.