print("NYoe s"[int(input()[0])in[4,5]::2])