process.stdin.resume();
process.stdin.setEncoding('utf8'); 
var lines = [];
var reader = require('readline').createInterface({
	input: process.stdin,
	output: process.stdout
});
 
reader.on('line', (line) => {
	lines.push(line);
});

reader.on('close', () => {
	"use strict"
	const A = +lines[0].split(" ")[0];
	const B = +lines[0].split(" ")[1];
	
	if(A>=13){console.log(B)}
	else if(A>=6){console.log(B/2)}
	else{console.log(0)}
});