function test(input) {
  arr = input.split('');
  if (arr[3] = '7') {
    arr.splice(3, 1);
    arr.splice(3, 0, '8');
  }
  var str = arr.join('');
  console.log(str);
}
test(require("fs").readFileSync("/dev/stdin", "utf8"));