import Control.Monad
import Data.List
import Data.Maybe

query :: Int -> Bool
query n = not $ null $ do
  x <- [0..n `div` 7]
  let (y,r) = (n - 7 * x) `divMod` 4
  guard $ y >= 0 && r == 0

main :: IO ()
main = do
  n <- read <$> getLine
  putStrLn $ if query n then "Yes" else "No"