#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e5 + 10;
int n, k;
char a[maxn];
int main() {
  scanf("%d %d", &n, &k);
  getchar();
  scanf("%s", a + 1);
  for (int i = 1; i <= n - 1 && k; i++) {
    if (a[i] == '4' && a[i + 1] == '7') {
      if (i % 2 == 1)
        a[i + 1] = '4';
      else {
        if (a[i - 1] == '4') {
          if (k % 2 == 1)
            a[i] = '7';
          else
            a[i] = '4';
          break;
        } else {
          a[i] = '7';
        }
      }
      k--;
    }
  }
  printf("%s", a + 1);
}
