题目描述

2013年是不是已经成为非常久远的记忆了呢？有趣的是，2013年居然是自1987年以来，第一个四位数字都不相同的年份。这样四位数字都不相同的年份我们称之为孤勇岁月。 现在给出小瓜出生的年份$n$，请你帮他计算一下他能面临的第一个孤勇岁月是哪一年吧！

输入格式

小瓜出生的年份$n$($1000 \le n \le 9000$)

输出格式

小瓜能面临的第一个孤勇岁月

1987

2013