Also, hitting the Escape key twice, then a number, emulates the corresponding function key (and esc-esc-0 is F10 :-)