import Data.List
import Data.Ord
import Data.Char
import Data.Ratio
import Data.Maybe

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