ご回答ありがとうございます。

あるんですね。「エクストラ」だったんだ！
私の場合結構使いますので、もっと使いやすいキーに設定したかったのです。
あまり使っていないファンクションキーと設定を入れ替えます。