kosu = gets.chomp.to_i

nedan = []
kosu.times do
  nedan << gets.chomp.to_i
end

nedan_max = nedan.max

index = 0
sum = 0
while index < nedan.size
  if nedan[index] == nedan_max
    sum += nedan_max / 2
  else
    sum += nedan[index]
  end
  index += 1
end

print(sum, "\n")
