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