function Main(input) {
var value = Number(input);
console.log((Math.floor(value / 3) + Math.floor(value / 5)) * 2);
}

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