import Control.Applicative
import Control.Monad

data YesNo = Yes | No deriving(Show)

solver :: Int -> YesNo
solver n
    | n < 0      = No
    | n `mod` 7 == 0 = Yes
    | n `mod` 4 == 0 = Yes
    | otherwise  = solver (n-7)

main :: IO ()
main = do
    n <- (read :: String -> Int) <$> getLine
    print $ solver n
