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