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