n = gets.to_s.chomp.to_i

ans = n./(3).*(2).+(n./(5).*(2))

puts "%d" % [ans]