#include<stdio.h>
int main()
{
    int arr[7] = { 0 };
    int i = 0;
    int j = 0;
    int max = 0;
    int min = 0;
    while (scanf("%d", &arr[i]) != EOF)
    {
        
        if (i == 0)//为了锁定max min的值,不加这个判断条件的话,下一次进来又会刷新max和min的值
        {
             max = arr[0];
             min = arr[0];
        }
        if (max < arr[i])
        {
            max = arr[i];
        }
        if (min > arr[i])
        {
            min = arr[i];
        }
        i++;
        if (i == 7)//如果i等于7说明一组数据已经输入完了,可以进行计算了
        {
            int sum = 0;
            float average = 0.0;
            i = 0;//把i置0是为了方便下一组数据的录入
            for (j = 0; j < 7; j++)
            {
                sum = sum + arr[j];
            }
            average = (sum - max - min) / 5.0;
            printf("%.2f\n", average);
        }

    }
    return 0;
}