open System


[<EntryPoint>]
let main argv =
    let N =stdin.ReadLine()|>int
    [|for i in [0..25] do for j in [0..20] do yield (4*i+7*j)|]
    |>Seq.sumBy(fun c -> (if c=N then 1 else 0))
    |>fun c -> (if c>=1 then "Yes" else "No")
    |>stdout.WriteLine
    0