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