N = int(input())
ans = (N//3) + (N//5)
ans *= 2
print(ans)