#include <bits/stdc++.h>
using namespace std;
int n, k;
int d[100015];
char baca[100015];
int main() {
  scanf("%d %d", &n, &k);
  scanf("%s", baca);
  for (int i = (int)1; i <= (int)n; ++i) d[i] = (int)(baca[i - 1] - '0');
  d[0] = d[n + 1] = 0;
  for (int i = (int)1; i <= (int)n; ++i) {
    if (!k) break;
    if (d[i] == 4 && d[i + 1] == 7) {
      if (i % 2 == 1) {
        if (d[i + 2] == 7) {
          if (k % 2 == 0)
            break;
          else {
            d[i + 1] = 4;
            break;
          }
        } else
          d[i + 1] = 4;
      } else {
        if (d[i - 1] == 4) {
          if (k % 2 == 0)
            break;
          else {
            d[i] = 7;
            break;
          }
        } else
          d[i] = 7;
      }
      k--;
    }
  }
  for (int i = (int)1; i <= (int)n; ++i) printf("%d", d[i]);
  printf("\n");
  return 0;
}
