import           Control.Applicative
import           Control.Monad
import           Data.List.Split

getResult :: Int -> Int
getResult n =
  length [ (a, b) | a <- [0 .. n], b <- [0 .. n], 4 * a + 7 * b == n ]

main :: IO ()
main = do
  n <- readLn
  putStrLn $ if getResult n > 0 then "Yes" else "No"
