fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val x = readInt () val ans = if x = 0 then "Yes" else if x = 4 then "Yes" else if x = 10 then "Yes" else "No" in print (ans ^ "\n") end