Problem:
Score : 100 points

Problem Statement

On some day in January 2018, Takaki is writing a document. The document has a column where the current date is written in yyyy/mm/dd format. For example, January 23, 2018 should be written as 2018/01/23.

After finishing the document, she noticed that she had mistakenly wrote 2017 at the beginning of the date column. Write a program that, when the string that Takaki wrote in the date column, S, is given as input, modifies the first four characters in S to 2018 and prints it.

Constraints

S is a string of length 10.

The first eight characters in S are 2017/01/.

The last two characters in S are digits and represent an integer between 1 and 31 (inclusive).

Input

Input is given from Standard Input in the following format:

S

Output

Replace the first four characters in S with 2018 and print it.

Sample Input 1

2017/01/07

Sample Output 1

2018/01/07

Sample Input 2

2017/01/31

Sample Output 2

2018/01/31

Solution in PHP (5.6.30) (judge verdict: Wrong Answer)

<?php

class Test
{
    const yen10000 = 10000;
    const yen5000  = 5000;
    const yen1000  = 1000;


    public function calc($sheets, $balance)
    {
        if(!$this->validation($sheets, $balance)){
            return '-1 -1 -1';
        }
        for($x = 0; $x <= $sheets; $x++){
            for($y = 0; $y <= $sheets; $y++){
                $z = $sheets - $x - $y;
                if($sum = $x * 10000 + $y * 5000 + $z * 1000){
                    return printf('%d %d %d', $x, $y, $z);
                }
            }
        }
        return '-1 -1 -1';
    }


    private function validation($n, $y)
    {
        if(!is_integer($n)){
            return false;
        }

        if(!is_integer($y)){
            return false;
        }
        if($n < 1 || 2000 < $n){
            // 制約に違反
            return false;
        }

        if($y < self::yen1000){
            // 制約に違反（1000 <= Y
            return false;
        }
        
        if((2 * pow(10, 7) < $y)){
            // 制約に違反（Y <= 2 * 10の7乗
            return false;
        }        
        
        if(($y % self::yen1000) !== 0){
            // 制約に違反（Yは1000の倍数である
            return false;
        }
        return true;
    }
}



$input = fgets(STDIN);
list($sheets, $balance) = explode(' ', $input);


$test = new Test();
echo $test->calc($sheets, $balance);