#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, flag = 1;
  scanf("%d", &n);
  while (n) {
    if (n % 10 == 4) {
      n /= 10;
      if (n % 10 == 4) {
        n /= 10;
        if (n % 10 != 1) flag = 0;
      } else if (n % 10 == 1)
        n /= 10;
      else
        flag = 0;
    } else if (n % 10 == 1)
      n /= 10;
    else
      flag = 0;
    if (flag == 0) {
      printf("NO\n");
      break;
    }
  }
  if (n == 0 && flag == 1) printf("YES\n");
  return 0;
}
