N = gets.to_i

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