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