#include<stdio.h>
int main()
{
    int a[7],i;
    while(scanf("%d%d%d%d%d%d%d",&a[0],&a[1],&a[2],&a[3],&a[4],&a[5],&a[6])!=EOF)
    {
            //这里初始化很重要,不然会对第二次输入产生影响//
        int max=0;         int min=100;         float avg=0.0;         for(i=0;i<7;i++)         {             if(max<a[i])                max=a[i];             if(min>a[i])                 min=a[i];                 avg+=a[i];         }         avg=(avg-max-min)/5.0;         printf("%.2f\n",avg);     }     return 0; }