#include <bits/stdc++.h>
using namespace std;
int N, K;
char s[100010];
int main() {
  ios::sync_with_stdio(false);
  cin >> N >> K;
  cin >> (s + 1);
  int i = 1;
  while (K > 0 && i + 1 <= N) {
    if (s[i] == '4' && s[i + 1] == '7') {
      if (i > 0 && s[i - 1] == '4' && i % 2 == 0) {
        if (K % 2)
          s[i] = s[i + 1] = '7';
        else
          s[i] = '4';
        break;
      }
      if (i % 2 == 0)
        s[i] = s[i + 1] = '7';
      else
        s[i] = s[i + 1] = '4';
      --K;
    }
    ++i;
  }
  cout << (s + 1) << endl;
  return 0;
}
