n = int(input())

z = (n//3 + n//5)
print(z*2)