#include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef pair P; int dx[] = { 1, 0, -1, 0 }; int dy[] = { 0, 1, 0, -1 }; const ll MOD = 1000000007; const ll INF = 100000; ll n; int main(void){ string s; cin >> s; bool flag = false; for (int i = 0; i < s.size(); i++){ if (i == 0 && !flag && s[i] == '1'){ flag = true; continue; } if (i == s.size() - 1 && (s[i] != '2' && s[i] != '3' && s[i] != '4')){ cout << "No" << endl; return 0; } if (!flag && (s[i] == '6' || s[i] == '7')) continue; if (!flag && (s[i] == '8' || s[i] == '3' || s[i] == '4' || s[i] == '5')){ if (!flag){ flag = true; continue; } } if (flag && s[i] == '3' || s[i] == '4' || s[i] == '5') continue; cout << "No" << endl; return 0; } cout << "Yes" << endl; }