#include <bits/stdc++.h>
using namespace std;
inline void OPEN(const string &file_name) {
  freopen((file_name + ".in").c_str(), "r", stdin);
  freopen((file_name + ".out").c_str(), "w", stdout);
}
int n, k;
string s;
map<string, int> MAP;
inline void change(string &s) {
  for (int i = 0, _n = ((s).size() - 1); i < _n; i++) {
    if (s[i] == '4' && s[i + 1] == '7') {
      if (i % 2 == 0)
        s[i + 1] = '4';
      else
        s[i] = '7';
      break;
    }
  }
}
int main() {
  cin >> n >> k;
  cin >> s;
  for (int i = 0, _n = ((s).size() - 1); i < _n; i++) {
    if (k == 0) break;
    if (s[i] == '4' && s[i + 1] == '7') {
      if (i % 2 == 0)
        s[i + 1] = '4';
      else
        s[i] = '7';
      k--;
    }
    if (k == 0) break;
    if (i - 1 >= 0 && s[i - 1] == '4' && s[i] == '7') {
      k %= 2;
      if (k) {
        s[i] = '4';
      }
      cout << s << endl;
      return 0;
    }
  }
  cout << s << endl;
  return 0;
}
