{-# OPTIONS_GHC -Wall #-}

readInt :: String -> Int
readInt = read

solve :: Int -> Bool
solve n = n `elem` xs
    where
        xs = filter (<=100) [4*x + 7*y | x<-[0..25], y<-[0..14]]

main :: IO ()
main = do
    n <- fmap readInt getLine

    let ans = solve n

    putStrLn $ if ans then "Yes" else "No"
