import strutils
let n = stdin.readLine.parseInt

echo 2 * (n div 3 + n div 5)