好日期

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 $ 日晚的日期，所以不满足“第一次出现”的条件。