let ``No.779 Heisei``() =

  stdin.ReadLine().Split(' ')
  |> Array.map (int)
  |> fun args ->
    let ymd = args.[0] * 10000 + args.[1]*100 + args.[2] 
    if 19890108 <= ymd && ymd <= 20190430 
      then "Yes"
      else "No"
  |> stdout.WriteLine

  ()
``No.779 Heisei``()