import Control.Applicative ((<$>))
import Data.Bool (bool)

main :: IO ()
main = solve <$> readLn >>= putStrLn

solve :: Int -> String
solve n = bool "No" "Yes" $ n `elem` ls
  where ls = do
          i <- [0..25]
          j <- [0..14]
          let x = 4 * i + 7 * j
          return x
