n, k = gets.chomp.split(' ').map(&:to_i)
a = gets.chomp.split(' ').map(&:to_i).sort
f = gets.chomp.split(' ').map(&:to_i).sort.reverse

a.map! do |ai|
  if ai <= k
    k -= ai
    0
  elsif k > 0
    ai -= k
    k = 0
    ai
  else
    ai
  end
end

puts a.zip(f).inject(0){|s, b| s + b[0] * b[1]}
