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