Cuber QQ 很惊奇地发现 2020 年 1 月 22 日的 10:02:02 构成的字符串竟然是一个回文串。（构成的字符串是 20200122100202 ），这下又有充足的理由约女神吃饭了。 可是这之后，女神开始为难 Cuber QQ 了。她现在只允许 Cuber QQ 在回文时间约她吃饭。 回文时间指的是，年份（四位数字构成）+月份（两位数字构成）+日期（两位数字构成）+小时（两位数字构成）+分钟（两位数字构成）+秒（两位数字构成）所形成的字符串是一个回文字符串。其中时间的表示形式是 24 小时制，例如下午 01:02 表示为 13:02 。 于是 Cuber QQ 开始期待之后的约会了。他现在想知道 2020 年 1 月 22 日的 10:02:02 之后第 k 个回文时间是多少（特别地，之后第 0 个回文时间就是 20200122100202 ）。 保证他们约会的时间不可能晚于 9999 年 12 月 31 日的 23:59:59 。 输入格式 输入数据包含一行一个整数 k ，表示要求的是之后的第 k 个回文时间。 保证对于给定的输入，输出的答案不会大于 99991231235959 ，即晚于 9999 年 12 月 31 日的 23:59:59 。 输出格式 输出一行一个字符串表示答案。 样例 input 0 output 20200122100202 input 2 output 20200222200202