n = int(input())
c = n//3 + n//5
print(c*2)