// B - Cakes and Donuts
// https://beta.atcoder.jp/contests/abc105/tasks/abc105_b

import scala.io.StdIn.readLine

object Main extends App {

  val n = readLine.toInt

  val sums = for {
    i <- (0 to n by 4)
    j <- (0 to n by 7)
  } yield (i + j)

  val isOk = sums.exists(_ == n)

  isOk match {
    case true  => println("Yes")
    case false => println("No")
  }

}