unittest
{
	assert( [ "30 100" ].parse.expand.solve == 100 );
	assert( [ "12 100" ].parse.expand.solve == 50 );
	assert( [ "0 100" ].parse.expand.solve == 0 );
}



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

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

auto parse( Range )( Range input )
if( isInputRange!Range && is( ElementType!Range == string ) )
{
	auto ab = input.front.split.to!( long[] );
	return tuple( ab[ 0 ], ab[ 1 ] );
}

auto solve( long a, long b )
{
	if( 13 <= a ) return b;
	if( 6  <= a ) return b / 2;
	return 0;
}
