# yukicoder No.311 z in FizzBuzzString 2020/02/02

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