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