import Control.Applicative


main = do
    n <- readLn
    putStrLn $ if solve n then "Yes" else "No"

solve :: Int -> Bool

solve 4 = True
solve 7 = True
solve n = if n < 0 then False else solve (n - 4) || solve (n - 7)
