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

int main() {
    long long p, size, a;
    scanf("%d", &p);
    a = p;
    for (size = 0; a!=0; size++) {
        a = a / 10;
    }
    int arr[size];
    for (int i = 0; i < size; i++) {
        arr[i] = p % 10;
        p = p / 10;
    }
    
    int k = 0;
    bool h = true;
    for (int i = 0; i < size; i++) {
        if (h == true) {
            if (i != size-1) {
                switch (arr[i] - k) {
                    case 2:
                    case 3:
                    case 4:
                        k = 1;
                        break;
                    default:
                        h = false;
                        break;
                }
            }
            else if (i == size-1) {
                switch (arr[i]) {
                    case 1:
                        break;
                    default:
                        h = false;
                        break;
                }
            }
        }
        else {
            break;
        }
    }
    
    if (h == true) {
        cout << "Yes" << endl;
    }
    else if (h == false){
        cout << "No" << endl;
    }
}