open Batteries
open Printf
let () =
  let n = Scanf.scanf "%d " (fun a -> a) in

  let rec aux i =
    if i*7 > n then "No" else
      (
        if (n - i*7) mod 4 = 0 then "Yes" else 
          aux (i+1)
      )
  in
  Printf.printf "%s\n" @@
  aux 0

