{"problem":{"name":"Already 2018","description":{"content":"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 ","description_type":"Markdown"},"platform":"AtCoder","limit":{"time_limit":2000,"memory_limit":262144},"difficulty":"None","is_remote":true,"is_sync":true,"sync_url":null,"sign":"abc085_a"},"statements":[{"statement_type":"Markdown","content":"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`.\nAfter 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.\n\n## Constraints\n\n*   $S$ is a string of length $10$.\n*   The first eight characters in $S$ are `2017/01/`.\n*   The last two characters in $S$ are digits and represent an integer between $1$ and $31$ (inclusive).\n\n## Input\n\nInput is given from Standard Input in the following format:\n\n$S$\n\n[samples]","is_translate":false,"language":"English"}],"meta":{"iden":"abc085_a","tags":[],"sample_group":[["2017/01/07","2018/01/07"],["2017/01/31","2018/01/31"]],"created_at":"2026-03-03 11:01:14"}}