AT_past202203_e 良い日付

# 好日期 [problemUrl]: https://atcoder.jp/contests/past202203-open/tasks/past202203_e YYYY/MM/DD格式是日期的表示方法之一，是指YYYY填的 $ 4 $ 位数的公历年，MM填的 $ 2 $ 位数的月，DD填的 $ 2 $ 位数的日,用斜线分开排列的东西。例如， $ 2022 $ 年 $ 1 $ 月 $ 1 $ 日表示为`2022/01/01`。 用YYYY/MM/DD格式表示日期时，所有出现的数字为2种及以下时，称为“好日期”。 以YYYY/MM/DD格式给出日期 $ S $ 。请以YYYY/MM/DD格式输出 $ S $ 以后的日子中首次出现的好日期。 但是，日历使用公历（以现行的日本为首的世界各国使用的日历）。

输入以以下形式由标准输入给出。 > $ S $

请以YYYY/MM/DD格式输出答案。 ## 样例 #1 ### 样例输入 #1 ``` 2022/01/01 ``` ### 样例输出 #1 ``` 2022/02/02 ``` ## 样例 #2 ### 样例输入 #2 ``` 2002/02/22 ``` ### 样例输出 #2 ``` 2002/02/22 ``` ## 样例 #3 ### 样例输入 #3 ``` 2002/02/23 ``` ### 样例输出 #3 ``` 2020/02/02 ``` ## 样例 #4 ### 样例输入 #4 ``` 2999/12/31 ``` ### 样例输出 #4 ``` 3000/03/03 ```

### 制约 - $ S $ 是出现在公历上的日期。 - $ S $ 以 YYYY/MM/DD 格式给出。 - $ S $ 为$ 2001 $年 $ 1 $ 月 $ 1 $ 日以后 $ 2999 $ 年 $ 12 $ 月 $ 31 $ 日以前。 $ S\ = $ $ 2022 $ 年 $ 1 $ 月 $ 1 $ 日以后， $ 2022 $ 年 $ 2 $ 月 $ 2 $ 日是首次满足条件的日子。 $ 2222 $ 年 $ 2 $ 月 $ 22 $ 日等也满足 $ S $ 以后的条件，但是因为是比 $ 2022 $ 年 $ 2 $ 月 $ 2 $ 日晚的日期，所以不满足“第一次出现”的条件。