{-# OPTIONS_GHC -O2 -funbox-strict-fields #-}

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

solve :: Int -> Bool
solve n
  | n < 0 = False
  | n - 4 == 0 || n - 7 == 0 = True
  | otherwise = solve (n - 4) || solve (n - 7)
