> And yes, there are more F keys above F12.

Well, on most keyboards there aren't actual keys, but instead shift-F1 through shift-F12 produce F13-F24.