unittest
{
	assert( [ "11" ].parse.expand.solve == "Yes" );
	assert( [ "40" ].parse.expand.solve == "Yes" );
	assert( [ "3" ].parse.expand.solve == "No" );
}



import std.conv;
import std.range;
import std.stdio;
import std.string;
import std.typecons;

void main()
{
	stdin.byLineCopy.parse.expand.solve.writeln;
}

auto parse( Range )( Range input )
if( isInputRange!Range && is( ElementType!Range == string ) )
{
	auto n = input.front.to!( int );
	
	return tuple( n );
}

auto solve( in long n )
{
	foreach( d4; 0 .. ( 1 + n / 4 ) )
	{
		foreach( d7; 0 .. ( 1 + n / 7 ) )
		{
			if( d4 * 4 + d7 * 7 == n ) return "Yes";
		}
	}
	
	return "No";
}
