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