diff --git a/CRT.c b/CRT.c
index 70b62914..24a82be0 100644
--- a/CRT.c
+++ b/CRT.c
@@ -726,6 +726,10 @@ void CRT_init(const Settings* settings, bool allowUnicode) {
       define_key("\033OQ", KEY_F(2));
       define_key("\033OR", KEY_F(3));
       define_key("\033OS", KEY_F(4));
+      define_key("\033O2P", KEY_F(13));
+      define_key("\033O2Q", KEY_F(14));
+      define_key("\033O2R", KEY_F(15));
+      define_key("\033O2S", KEY_F(16));
       define_key("\033[11~", KEY_F(1));
       define_key("\033[12~", KEY_F(2));
       define_key("\033[13~", KEY_F(3));