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:
print ["No","Yes"][(lambda x:min(["33.464.595.808.77".count(b+x[-a-1])for a,b in enumerate(x)]))(raw_input())]