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