#include <bits/stdc++.h>
using namespace std;
int main() {
  char num[18];
  int n, i, j;
  int flag = 1, k = 0;
  scanf("%s", &num);
  n = strlen(num);
  if (num[0] != '1') flag = 0;
  if (flag) {
    for (i = 1; i < n; i++) {
      if (num[i] != '1' && num[i] != '4') {
        flag = 0;
        break;
      }
    }
  }
  if (flag) {
    for (i = 0; i < n; i++) {
      if (num[i] == '4') {
        k = k + 1;
        if (k >= 3) break;
      }
      if (num[i] != '4') k = 0;
    }
    if (k >= 3) flag = 0;
  }
  if (flag)
    printf("YES\n");
  else
    printf("NO\n");
  return 0;
}
