#include <bits/stdc++.h>
using namespace std;
char number[100009];
int main(void) {
  int n, k;
  cin >> n >> k;
  cin >> number;
  for (int i = 0; i < n - 2 && k > 0; i++) {
    if (number[i] == '4' && number[i + 1] == '4' && number[i + 2] == '7' &&
        (i % 2) == 0) {
      if (k % 2 == 0)
        k = 0;
      else {
        number[i + 1] = '7';
        k = 0;
      }
    } else if (number[i] == '4' && number[i + 1] == '7' &&
               number[i + 2] == '7' && (i % 2) == 0) {
      if (k % 2 == 0)
        k = 0;
      else {
        number[i + 1] = '4';
        k = 0;
      }
    } else if (number[i] == '4' && number[i + 1] == '7') {
      if (i % 2 == 0)
        number[i] = number[i + 1] = '4';
      else
        number[i] = number[i + 1] = '7';
      k--;
    }
  }
  if (k > 0 && number[n - 2] == '4' && number[n - 1] == '7') {
    if (n % 2 == 0)
      number[n - 2] = number[n - 1] = '4';
    else
      number[n - 2] = number[n - 1] = '7';
  }
  cout << number << endl;
  return 0;
}
