solve :: Int -> Bool
solve n = not . null $ [(n4, n7)| n4 <- [0..(n `div` 4)], n7 <- [0..(n `div` 7)], n4 * 4 + n7 * 7 == n]

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