#include <bits/stdc++.h>
char a[100105];
int n, k;
int main(void) {
  scanf("%d%d\n", &n, &k);
  int i;
  for (i = 101; i <= 100 + n; ++i) {
    scanf("%c", &a[i]);
  }
  for (i = 101; i < 100 + n; ++i) {
    if (i % 2 == 1 && a[i] == '4' && a[i + 1] == '4' && a[i + 2] == '7') {
      if (k % 2 == 1) {
        a[i + 1] = '7';
      }
      break;
    } else if (i % 2 == 1 && a[i] == '4' && a[i + 1] == '7') {
      if (k == 0) {
        break;
      }
      a[i + 1] = '4';
      --i;
      --k;
    } else if (i % 2 == 0 && a[i] == '4' && a[i + 1] == '7') {
      if (k == 0) {
        break;
      }
      a[i] = '7';
      --i;
      --k;
    }
  }
  for (i = 101; i <= 100 + n; ++i) {
    printf("%c", a[i]);
  }
  return 0;
}
