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