import std.stdio, std.string, std.range, std.conv, std.array, std.algorithm, std.math, std.typecons;

void main() {
    const N = readln.chomp.to!int;
    writeln(cartesianProduct(iota(N/4+1), iota(N/7+1)).canFind!(t => t[0] * 4 + t[1] * 7 == N) ? "Yes" : "No");
}

