(defn input []
  (-> (read-line)
    Integer/parseInt))

(defn CakesAndDonuts [N]
  (if-let [ans (first (for [cake (range 0 (inc N) 4)
                            dounut (range 0 (inc N) 7)
                            :let [n (+ cake dounut)]
                            :when (= N n)] "Yes"))]
    ans
    "No"))

(-> (input)
  CakesAndDonuts
  println)