num = int(raw_input())

zcnt = 0
while num > 0:
	num -= 1
	if num % 3 == 0:
		zcnt = zcnt + 2
	if num % 5 == 0:
		zcnt = zcnt + 2
print str(zcnt)