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