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());