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 CPP):

Solution:
#include <bits/stdc++.h>
bool braille(char *a, int len) {
  if (len == 1) {
    if (a[0] == '3' || a[0] == '7')
      return true;
    else
      return false;
  }
  int i = 0;
  int n = len - 1;
  while (i < n) {
    int old_i = i;
    if ((a[i] == '4' && a[n] == '6') || (a[i] == '6' && a[n] == '4'))
      i++;
    else if ((a[i] == '5' && a[n] == '9') || (a[i] == '9' && a[n] == '5'))
      i++;
    else if ((a[i] == '8' && a[n] == '0') || (a[i] == '0' && a[n] == '8'))
      i++;
    else if (a[i] == '3' && a[n] == '3')
      i++;
    else if (a[i] == '7' && a[n] == '7')
      i++;
    if (i == old_i)
      return false;
    else
      n--;
  }
  if (a[i] == '1' || a[i] == '2')
    return false;
  else
    return true;
}
int main() {
  char num[10];
  scanf("%s", num);
  braille(num, strlen(num)) ? printf("Yes\n") : printf("No\n");
  return 0;
}