fun readChar () =
    valOf (TextIO.scanStream Char.scan TextIO.stdIn)
              

val () =
    let
        val firstChar = readChar ()

        val ans = if firstChar = #"4" orelse firstChar = #"5" then "Yes"
                  else "No"
    in
        print (ans ^ "\n")
    end