import Debug.Trace



main :: IO ()
main = do
    n <- read <$> getLine
    let num = length $ filter (\(a, b) -> a * 4 + b * 7 == n) [(a, b) | a <- [0..n], b <- [0..n]]
    putStrLn (if num == 0 then "No" else "Yes")
