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