using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace YukiCoder
{
    class Program
    {
        static void Main(string[] args)
        {
            var va = Console.ReadLine().Split().Select(int.Parse).ToArray();
            int na = va[0] * 10000 + va[1] * 100 + va[2];
            string s = (19890108 <= na && na <= 20190430) ? "Yes" : "No";
            Console.WriteLine(s);
        }
    }
}