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