import decimal
n = Decimal(input())
div3 = n / Decimal(3)
div5 = n / Decimal(5)
z_count = (div3 + div5) * Decimal(2)
print(z_count)