#include <bits/stdc++.h>
char a[200000], b[200000];
int main() {
  long long int k, n, i, p = -1;
  scanf("%lld%lld", &n, &k);
  scanf("%s", b);
  for (i = 0; i < n; i++) a[i + 1] = b[i];
  for (i = 1; i < n; i++) {
    if (a[i] == '4' && i % 2 == 1 && (i + 2) <= n) {
      if ((a[i + 1] == '4' || a[i + 1] == '7') && a[i + 2] == '7') {
        p = i;
        break;
      }
    }
  }
  for (i = 1; i < n; i++) {
    if (p == i) {
      if (k % 2 == 1) {
        if (a[i + 1] == '4')
          a[i + 1] = '7';
        else
          a[i + 1] = '4';
      }
      break;
    } else if (k != 0) {
      if (a[i] == '4' && a[i + 1] == '7') {
        if (i % 2 == 0)
          a[i] = '7';
        else
          a[i + 1] = '4';
        k--;
      }
    }
  }
  for (i = 1; i <= n; i++) printf("%c", a[i]);
  printf("\n");
}
