#include <bits/stdc++.h>
using namespace std;
const int maxN = 100005;
int a[maxN];
char c[maxN];
int main() {
  int n, k;
  cin >> n >> k;
  getchar();
  int i;
  for (i = 1; i <= n; ++i) {
    scanf("%c", &c[i]);
    a[i] = c[i] - '0';
  }
  for (i = 1; i <= n; ++i) {
    if (k <= 0) break;
    if ((i & 1) == 1 && a[i] == 4 && a[i + 2] == 7) {
      if (a[i + 1] == 4 || a[i + 1] == 7) {
        if (k & 1) {
          if (a[i + 1] == 4)
            a[i + 1] = 7;
          else
            a[i + 1] = 4;
        }
        break;
      }
    }
    if (a[i] == 4 && a[i + 1] == 7) {
      if (i & 1)
        a[i + 1] = 4;
      else
        a[i] = 7;
      --k;
    }
  }
  for (i = 1; i <= n; ++i) printf("%d", a[i]);
  cout << endl;
  return 0;
}
