n = gets.to_i
puts 2 * (n / 3 + n / 5)