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