#include <stdio.h>

int main() {
    int arr[10000];
    int i=0;
    int max,min=0;
    float sum;
    while(scanf("%d %d %d %d %d %d %d",&arr[0],&arr[1],&arr[2],&arr[3],&arr[4],&arr[5],&arr[6])!=EOF)
    {   sum=0;
        max=arr[0];
        min=arr[0];
        for(i=0;i<=6;i++)
        {
            if(arr[i]>max)
            {
                max=arr[i];
            }
        }
        for(i=0;i<=6;i++)
        {
            if(arr[i]<min)
            {
                min=arr[i];
            }
        }
        for(i=0;i<=6;i++)
        {
            sum=sum+arr[i];
        }
        printf("%.2f\n",(sum-max-min)/5);
    }
    return 0;
}