let rl = require('readline');

let reader = rl.createInterface({
    input: process.stdin,
    output: process.stdout
});

reader.on('line', function (line) {
    console.log(line.replace(/^2017/, "2018"));
});
