var main=function(){ var a=BigInt(readline()); print((2n*(a/5n+a/3n)).toString()); }; /// IO /// if(typeof process!=='undefined'){ //node.js var print=function(x){ console.log(x); } var readline=(function(){ var T=[],cnt=0; var stdin = process.openStdin(); stdin.setEncoding('utf8'); var input_fragment=""; stdin.on('data', function(input) { var ref=(input_fragment+input).split("\n"); input_fragment=ref.pop(); for(var i=0;i