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