Problem: 

Input

The only line of the input contains a string of digits. The length of the string is between 1 and 10, inclusive.

Output

Output "Yes" or "No".

Examples

Input

373


Output

Yes


Input

121


Output

No


Input

436


Output

Yes

Solution (in PYTHON):

Solution:
x=raw_input();print ["No","Yes"][min([b+x[-a-1]in"33.464.595.808.77"for a,b in enumerate(x)])]