Пін-код#11022

Пін-код

1 second
256 megabytes
Very easy

Вам дано пін-код , що складається з чотирьох цифр. Визначте, чи цей пін-код є слабким.

Пін-код вважається слабким, якщо у ньому всі цифри однакові, або якщо кожна наступна цифра більша за попередню рівно на один.

Input

Перший рядок містить одне ціле число (1000 \leq n \leq 9999).

Output

Якщо пін-код є слабким, то виведіть Yes, інакше виведіть No.

Examples

Example 1

Loading
Loading

Example 2

Loading
Loading

Example 3

Loading
Loading