#include <stdio.h>

#include <stdlib.h>

int main()

{

    while()

    {

        int i,sum=,max=,min=,t;

        for(i=; i<; i++)

        {

            scanf("%d",&t);

            sum += t;

            if(t > max)

                max=t;

            if(t < min)

                min = t;

        }

        if(sum == )

            break;

        else

            printf("%g\n",(sum-max-min)/4.0);

    }

    return ;

}