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