N = long(raw_input())
ans = 0L
ans += (N / 3) * 2
ans += (N / 5) * 2
print ans