#include <bits/stdc++.h>
int digs[100010], n;
int main() {
  int k, i;
  int pos = 0;
  scanf("%d %d ", &n, &k);
  for (i = 0; i < n; i++) digs[i] = fgetc(stdin) - '0';
  while (k && pos < n - 1) {
    if (digs[pos] == 4 && digs[pos + 1] == 7) {
      if (pos % 2 == 0) {
        if (pos == n - 2 || digs[pos + 2] != 7) {
          digs[pos + 1] = 4;
          pos += 2;
          k--;
        } else {
          if (k % 2 == 1) digs[pos + 1] = 4;
          k = 0;
        }
      } else {
        if (pos == 0 || digs[pos - 1] != 4) {
          digs[pos] = 7;
          pos += 2;
          k--;
        } else {
          if (k % 2 == 1) digs[pos] = 7;
          k = 0;
        }
      }
    } else
      pos++;
  }
  for (i = 0; i < n; i++) printf("%d", digs[i]);
  fputc('\n', stdout);
  return 0;
}
