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