#include <stdio.h>
int main()
{
    int max=0,mine=100;
    int k=0,i=0;
    int sum=0;
    while(scanf("%d",&k)!=EOF)
    {
       if(k>max)
        {
            max=k;
        }
        if(k<mine)
        {
            mine=k;
        }
        sum+=k;
        i++;
        if(i==7)
        {
            
            float average=0;
            sum=sum-max-mine;
            average=sum/5.0;
            printf("%.2f\n",average);
            i=0;
            sum=0;
            max=0;
            mine=100;
        }  
    }   
    return 0;
}