import strutils
let n = stdin.readLine.parseInt
echo (2*(n div 3 + n div 5))