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