Three-Point Shot

Source: AtCoder

Problem Statement

The current score is $X$-$Y$ with $X e Y$. The trailing team scores exactly three points. Determine whether it becomes strictly ahead.

Input

One line contains $X$ and $Y$.

Output

Print Yes if the trailing team can move ahead; otherwise print No.

Subtasks

• Subtask 1 (100%): $0 \le X,Y \le 100$; $X e Y$

Examples

Example 1

Input

3 5

Output

Yes

Explanation

For the sample values 3, 5, evaluating the conditions in the statement gives Yes. Therefore the program prints the shown output.

Example 2

Input

16 2

Output

No

Explanation

For the sample values 16, 2, evaluating the conditions in the statement gives No. Therefore the program prints the shown output.

Example 3

Input

12 15

Output

No

Explanation

For the sample values 12, 15, evaluating the conditions in the statement gives No. Therefore the program prints the shown output.