from decimal import *
getcontext().rounding = ROUND_FLOOR
n = Decimal(input())
dec3 = Decimal('3')
dec5 = Decimal('5')
div3 = n / dec3
div5 = n / dec5
z_count = (div3 + div5) * Decimal('2')
print(z_count)