solver::Int->Bool
solver n = let ls = [i*4+j*7|i<-[0..div n 4],j<-[0..div n 7]] in
           elem n ls

main::IO()
main=do
  nc<-getLine
  let n = read nc
  putStr (if solver n then "Yes\n" else "No\n")
