#include <stdio.h>

int main() {
    int score;
    int max, min, sum;
    float avg;

    // 多组输入,每组7个分数
    while (1) {
        // 初始化每组的统计变量
        max = -1;
        min = 101;   // 分数范围0~100,初始min设为大于100
        sum = 0;

        // 读取一组7个分数
        for (int i = 0; i < 7; i++) {
            if (scanf("%d", &score) != 1) {
                // 如果读取失败(文件结束),直接结束程序
                return 0;
            }
            sum += score;
            if (score > max) max = score;
            if (score < min) min = score;
        }

        // 去掉最高分和最低分后计算平均
        avg = (sum - max - min) / 5.0;
        printf("%.2f\n", avg);
    }

    return 0;
}