function Main(input) {

if (input.length > 9) {
	var value1 = Number(input.slice(9, 20));
	var value = (Math.floor(value1 / 3) + Math.floor(value1 / 5)) * 2;
	
	var value2 = Number(input.slice(0, 9)) * 100000000;
	value += (Math.floor(value2 / 3) + Math.floor(value2 / 5)) * 2;
} else {
	var value = Number(input);
	value = (Math.floor(value / 3) + Math.floor(value / 5)) * 2;
}

console.log(value);
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));