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