#include <bits/stdc++.h>
char d[100003];
int main() {
  int i, j, k, n;
  scanf("%d%d", &n, &k);
  scanf("%s", d + 1);
  d[n + 2] = 0;
  for (i = 1; i <= n && k; ++i) {
    if (d[i] == '4') {
      if (i & 1) {
        if ((d[i + 1] == '4' || d[i + 1] == '7') && d[i + 2] == '7') {
          if (k & 1) {
            if (d[i + 1] == '4')
              d[i + 1] = '7';
            else
              d[i + 1] = '4';
          }
          k = 0;
        } else {
          if (d[i + 1] == '7') {
            d[i + 1] = '4';
            --k;
          }
        }
      } else {
        if (d[i + 1] == '7') {
          d[i] = '7';
          ++i;
          --k;
        }
      }
    }
  }
  puts(d + 1);
  return 0;
}
