module Main where

import Control.Applicative
import Control.Monad

main :: IO ()
main = do
    n <- readLn :: IO Int
    let a = 4
    let b = 7
    let cs = [ (x, y) | x <- [0 .. 25]
                      , y <- [0 .. 14]
                      , a * x + b * y == n
             ]
    if null cs
        then putStrLn "No"
        else putStrLn "Yes"