#coding:utf-8

N=input()

print (N//3+N//5)*2