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