EOJ Monthly 2020.1

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$ 。