#include <iostream>
#include <vector>
#include <string>
using namespace std;

int main() {
    string p;
    cin >> p;
    int size = p.size();
    
    bool h = true;
    for (int i = 0; i < size; i++) {
        if (h == true) {
            if (p.at(0) != '1') {
                h = false;
                break;
            }
            if (i == size-1) {
                switch (p.at(i)) {
                    case '2':
                    case '3':
                    case '4':
                        break;
                    default:
                        h = false;
                        break;
                }
            }
            else if (i != size-1 && i != 0) {
                switch (p.at(i)) {
                    case '3':
                    case '4':
                    case '5':
                        break;
                    default:
                        h = false;
                        break;
                }
            }
        }
        else {
            break;
        }
    }
    if (h == true) {
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
}