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