function main(input) {
   input = input.split("/");
   var change =input[0].replace('2017','2018');
   console.log(change+'/'+input[1]+'/'+input[2]);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));