nya_n = int(raw_input())
print (nya_n / 3 + nya_n / 5) * 2