process.stdin.resume();
process.stdin.setEncoding('utf8');
// Your code here!
function main(input) {
    var x = input.split('/');
    x[0] = '2018';
    console.log(x[0] + '/' + x[1] + '/' + x[2]);
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));
