Well, F11 and F12 may have been new to the 101 key AT-style kbd, but AFAIK, the 83 key XT-style kbd had a F10 key.
_________________________
Give a man a fish and he will be back for more. Slap him with a fish and he will go away forever.