#include <bits/stdc++.h>
int main() {
  long long int n, i, k, a;
  scanf("%lld", &n);
  k = n;
  for (i = 0; i < 10; i++) {
    a = k % 10;
    k = k / 10;
    if (k == 0 && a == 1) {
      printf("YES\n");
      break;
    } else if (k == 0 && a != 1) {
      printf("NO\n");
      break;
    }
    if (a == 1) {
      continue;
    } else if (a == 4) {
      a = k % 10;
      k = k / 10;
      if (a == 4) {
        a = k % 10;
        k = k / 10;
        if (k == 0 && a == 1) {
          printf("YES\n");
          break;
        } else if (a == 1) {
          continue;
        } else {
          printf("NO\n");
          break;
        }
      } else if (k == 0 && a == 1) {
        printf("YES\n");
        break;
      } else if (a == 1) {
        continue;
      } else {
        printf("NO\n");
        break;
      }
    } else {
      printf("NO\n");
      break;
    }
  }
}
