如果一个日期写成 “YearMMDD” 的形式是一个回文数（即无论从左往右读还是从右往左读，其值都相同），则称该日期为回文日期。

例如，日期 “January 1st, 1”（1年1月1日）是回文的，因为它可以写成 “10101”；“December 1st, 1021”（1021年12月1日）也是回文的，因为它可以写成 “10211201”。

给定一个日期，你需要找到（按时间顺序）下一个是回文日期的合法日期。为了本题的目的，一个日期被认为是合法的，当且仅当年份在 $1$ 到 $2147483647$ 之间，月份在 $1$ 到 $12$ 之间，天数至少为 $1$ 且满足：

• 对于 $1, 3, 5, 7, 8, 10, 12$ 月——天数不超过 $31$
• 对于 $4, 6, 9, 11$ 月——天数不超过 $30$
• 对于 $2$ 月——天数不超过 $29$，且只有在闰年时才能为 $29$。

如果一个年份能被 $400$ 整除，或者能被 $4$ 整除但不能被 $100$ 整除，则该年被认为是“闰年”。

输入格式

输入文件每行包含一个日期：三个由字符 / 分隔的数字，依次表示日、月、年。例如，2011年7月4日可以写为 “04/07/2011”（或 4/07/2011，或 4/7/2011）。输入文件的最后一行是空行。

输出格式

输出文件应包含输入文件中每个日期对应的下一个合法回文日期，每行一个日期。输出文件中的日期格式为 DD/MM/Year——即分隔符为 /，年份的首位数字绝不能为 0，且日和月必须始终使用两位数表示（例如，用 01 代替 1，用 02 代替 2 等）。

保证所有输入日期都是合法的，且对于所有输入日期，都存在“下一个合法的回文日期”。

样例

输入样例 1

1/1/1
12/11/1
01/06/138048967

输出样例 1

01/02/1
11/12/1
31/08/138048984