n = int(input())
div3 = n / 3
div5 = n / 5
z_count = (div3 + div5) * 2
print(z_count)