let () = Scanf.scanf "%d" @@ fun n ->
  print_endline @@
    (function true -> "Yes" | false -> "No") @@ 
      Array.fold_left (Array.fold_left ( || )) false @@
        Array.init (n + 1) @@ fun i ->
          Array.init (n + 1) @@ fun j -> 4 * i + 7 * j = n
