from decimal import *
n = Decimal(input())
dec3 = Decimal('3')
dec5 = Decimal('5')
div3 = (n - (n % dec3)) / dec3
div5 = (n - (n % dec5)) / dec5
z_count = (div3 + div5) * Decimal('2')
print(z_count)