N = int(raw_input())
z = (int(N / 3) + int(N / 5)) * 2
print z