#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k, i;
  string s;
  while (scanf("%d%d", &n, &k) != EOF) {
    cin >> s;
    i = 0;
    while (i < n - 1 && k) {
      if (i < n - 2 && i % 2 == 0) {
        if (s.substr(i, 3) == "447") {
          if (k % 2 == 1) {
            s[i + 1] = '7';
            s[i + 2] = '7';
          }
          k = 0;
          continue;
        } else if (s.substr(i, 3) == "477") {
          if (k % 2 == 1) {
            s[i + 1] = '4';
            s[i + 2] = '7';
          }
          k = 0;
          continue;
        }
      }
      if (s[i] == '4' && s[i + 1] == '7') {
        k--;
        if (i % 2 == 0) {
          s[i + 1] = '4';
          i++;
        } else {
          s[i] = '7';
          i = max(0, i - 1);
        }
      } else
        i++;
    }
    cout << s << endl;
  }
}
