from decimal import *

n = int(input())
z_counter=0
a = Decimal(n) / Decimal(3)
b = Decimal(n) / Decimal(5)
c = Decimal(n) / Decimal(15)

z_counter = a*2 + b*2
print(int(z_counter))