import strutils, math

proc nextString: string =
    result = ""
    while not endOfFile stdin:
        let c = readChar stdin
        if c == ' ' or c == "\n"[0]: return
        elif c != '\r': add result, c

proc nextInt: int =
    parseInt nextString()


let
    y, m, d = nextInt()
    yyyymmdd = y * 10 ^ 4 + m * 100 + d

if yyyymmdd in 19890108 .. 20190430:
    echo "Yes"
else:
    echo "No"