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