const lines = require('fs')
  .readFileSync('/dev/stdin', 'utf-8')
  .trim().split('\n').values();

const N = BigInt(lines.next().value);
const ans = (N / 3n + N / 5n) * 2n;

console.log(ans.toString(10));