题目描述

在$2018$年的某一天，Takaki正在写一份文件。文件中有一列记录了当前日期，格式为yyyy/mm/dd。例如，$2018$年$1$月$23$日应该写成2018/01/23。

在完成文件之后，她注意到在日期列的开头错误地写成了2017。编写一个程序，当给定Takaki在日期列中写的字符串$S$作为输入时，将$S$中的前四个字符修改为2018并打印出来。

约束条件

• $S$是长度为$10$的字符串。
• $S$的前八个字符是2017/01/。
• $S$的最后两个字符是数字，并且表示$1$到$31$之间（包括$1$和$31$）的整数。

输入

从标准输入中以以下格式给出输入：

$S$

输出

用2018替换$S$中的前四个字符并打印出来。

示例输入1

2017/01/07

示例输出1

2018/01/07

示例输入2

2017/01/31

示例输出2

2018/01/31