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