Assign F17, F18, F19 as hotkeys

[Julien]

Hi,

I assigned F13, etc. all the way up to F16 as hotkeys to launch my
favorite applications, however, I can't seem to be able to assign F17,
F18 and F19. Does anybody have any idea why that is?

Thanks,

Julien