Mine

keyboard = (
  { key = "^[[11~"; id = "key"; data = "F1"; },
  { key = "F1"; id = "change_window"; data = "1"; },
  { key = "^[[12~"; id = "key"; data = "F2"; },
  { key = "F2"; id = "change_window"; data = "2"; },
  { key = "^[[13~"; id = "key"; data = "F3"; },
  { key = "F3"; id = "change_window"; data = "3"; },
  { key = "^[[14~"; id = "key"; data = "F4"; },
  { key = "F4"; id = "change_window"; data = "4"; },
  { key = "^[[15~"; id = "key"; data = "F5"; },
  { key = "F5"; id = "change_window"; data = "5"; },
  { key = "^[[17~"; id = "key"; data = "F6"; },
  { key = "F6"; id = "change_window"; data = "6"; },
  { key = "^[[18~"; id = "key"; data = "F7"; },
  { key = "F7"; id = "change_window"; data = "7"; },
  { key = "^[[19~"; id = "key"; data = "F8"; },
  { key = "F8"; id = "change_window"; data = "8"; },
  { key = "^[[20~"; id = "key"; data = "F9"; },
  { key = "F9"; id = "change_window"; data = "9"; },
  { key = "^[[21~"; id = "key"; data = "F10"; },
  { key = "F10"; id = "change_window"; data = "10"; },
  { key = "^[[23~"; id = "key"; data = "F11"; },
  { key = "F11"; id = "change_window"; data = "11"; },
  { key = "^[[24~"; id = "key"; data = "F12"; },
  { key = "F12"; id = "change_window"; data = "12"; },
  { key = "^[[11^"; id = "key"; data = "cF1"; },
  { key = "cF1"; id = "change_window"; data = "13"; },
  { key = "^[[12^"; id = "key"; data = "cF2"; },
  { key = "cF2"; id = "change_window"; data = "14"; },
  { key = "^[[13^"; id = "key"; data = "cF3"; },
  { key = "cF3"; id = "change_window"; data = "15"; },
  { key = "^[[14^"; id = "key"; data = "cF4"; },
  { key = "cF4"; id = "change_window"; data = "16"; },
  { key = "^[[15^"; id = "key"; data = "cF5"; },
  { key = "cF5"; id = "change_window"; data = "17"; },
  { key = "^[[17^"; id = "key"; data = "cF6"; },
  { key = "cF6"; id = "change_window"; data = "18"; },
  { key = "^[[18^"; id = "key"; data = "cF7"; },
  { key = "cF7"; id = "change_window"; data = "19"; },
  { key = "^[[19^"; id = "key"; data = "cF8"; },
  { key = "cF8"; id = "change_window"; data = "20"; },
  { key = "^[[20^"; id = "key"; data = "cF9"; },
  { key = "cF9"; id = "change_window"; data = "21"; },
  { key = "^[[21^"; id = "key"; data = "cF10"; },
  { key = "cF10"; id = "change_window"; data = "22"; },
  { key = "^[[23^"; id = "key"; data = "cF11"; },
  { key = "cF11"; id = "change_window"; data = "23"; },
  { key = "^[[24^"; id = "key"; data = "cF12"; },
  { key = "cF12"; id = "change_window"; data = "24"; }
);