#include <bits/stdc++.h>
using namespace std;
char s[200000];
int main() {
  int i, j, n, k;
  while (scanf("%d%d", &n, &k) != -1) {
    scanf("%s", s);
    bool flag = 0;
    for (i = 0; s[i + 1];) {
      if (k == 0) break;
      if (s[i] == '4' && s[i + 1] == '7') {
        k--;
        if (i % 2 == 1) {
          s[i] = '7';
          i--;
          if (i < 0) i = 0;
        } else {
          s[i + 1] = '4';
          if (s[i + 2] == '7') break;
        }
        continue;
      }
      i++;
    }
    if (s[i + 1] == 0) k = 0;
    if ((k % 2 == 0)) {
      puts(s);
    } else {
      s[i + 1] = '7';
      puts(s);
    }
  }
}
