#include <bits/stdc++.h>
using namespace std;
void file_open() {
  freopen("test.txt", "rt", stdin);
  freopen("test.out", "wt", stdout);
}
int main() {
  int n, k, t, i;
  char s[101000], *p;
  bool e;
  scanf("%d%d", &n, &k);
  memset(s, 0, n + 1);
  scanf("%s", s);
  t = 0;
  i = 0;
  e = false;
  p = s;
  while (i < k) {
    p = strstr(p, "47");
    if (p == NULL) break;
    t = p - s;
    if (t % 2 && s[t - 1] == '4') {
      e = true;
      break;
    }
    if (t % 2) {
      s[t] = '7';
      p = p - 1;
    } else {
      s[t + 1] = '4';
      p = p + 1;
    }
    ++i;
  }
  if (!e)
    printf("%s", s);
  else {
    if ((k - i) % 2) s[t] = '7';
    printf("%s", s);
  }
  return 0;
}
