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

const N = Number(lines.next().value);

console.log((Math.floor(N / 3) + Math.floor(N / 5)) * 2);