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