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