题目描述

小明喜欢从左往右每一位数严格递增的整数。特别地，如果数字只有一位，也认为是严格递增的。

已知整数 $x$，请你判断它是否是小明喜欢的数。

严格递增：相邻的两项，后一项大于前一项。

输入格式

一行一个整数 $x$

输出格式

如果是小明喜欢的数，输出 Yes，否则输出 No

样例

123

Yes

4697

No

数据范围

对于 $100 \%$ 的数据，$1 \le x \le 10^9$