function Main(input) {
    var lines = input.split("\n").map(function(value) { return value - 0; });
    var N = lines.shift() - 0;
    var max = Math.max(...lines);
    var total = 0;
    lines.forEach(function(value) {
        if (max == value) {
            total += value / 2;
            max = 0;
        } else {
            total += value;
        }
    });
    
    console.log(total);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));

