n = long(raw_input())
print 2L * (n / 3L + n / 5L)