function main(input) {
  const args = input.split('/');
  
  if (args[0] === '2017') {
  	args[0] = '2018';
  }
  
  console.log(args.join('/'));
  
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));