                      EXTENDED FUNCTION KEYS

The function keys F11 through F40 are the so-called "extended" function keys.
On a keyboard that physically has only F1 through F10, Shift-F1 is called
F11, Ctrl-F1 is called F21, Alt-F1 is called F31, and so on, so that a total
of forty function keys can be defined. They are reassigned as described in
the FUNCTION_KEYS topic.

However, on a keyboard that physically has F1 through F12, F11 and F12 are 
reassigned using a different set of <key-num>s. To reassign these function 
keys, use a command of the same form used for a function key:

     PROMPT $e[0;key-num;"text"[;#;"text"]...p 
     PROMPT $e[0;key-num;#;...#p 
     ECHO ^[[0;key-num;"text"[;#;"text"]...p 
     ECHO ^[[0;key-num;#;...#p 
     ESC [0;key-num;"text"[;#;"text"]...p 
or
     ESC [0;key-num;#;...#p 

where

<key-num> is:
    a function key number (133=F11,134=F12)
    a shift function key number (135=Shift-F11, 136=Shift-F12)
    a control function key number (137=Ctrl-F11, 138=Ctrl-F12)
    an alternate function key number (139=Alt-F11, 140=Alt-F12)

"text" is any string of characters enclosed in double quotes.

# is any ASCII character code, in decimal. The ASCII character codes are 
    listed in the NEW_TERMS ASCII topic. 
 
^[ is an actual ESC character (27).
