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