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