let () = Scanf.scanf "%d"
           (fun n ->
             let rec temp n' =
               match n' with
               | n' when n' < 0 -> "No"
               | 0 -> "Yes"
               | n' when n' >= 28 -> temp (n' - 28)
               | n' when n' mod 7 = 0 -> "Yes"
               | n' when n' mod 4 = 0 -> "Yes"
               | n' -> temp (n' - 7)
             in
             Printf.printf "%s" (temp n))