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